1 files changed, 3 insertions, 3 deletions
diff --git a/Concat.hs b/Concat.hs
index c10301a..18d0f5d 100644
--- a/Concat.hs
+++ b/Concat.hs
@@ -1,8 +1,8 @@
 import System.Environment( getArgs )
 import Text.Printf
-import Parse
-import ProofGraph
-import WriteProof
+import Library.Parse
+import Library.ProofGraph
+import Library.WriteProof