diff options
Diffstat (limited to 'ProofGraphMain.hs')
-rw-r--r-- | ProofGraphMain.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ProofGraphMain.hs b/ProofGraphMain.hs index 514dbc3..292cf01 100644 --- a/ProofGraphMain.hs +++ b/ProofGraphMain.hs @@ -1,7 +1,7 @@ import System.Environment( getArgs ) import Text.Printf -import Parse -import ProofGraph +import Library.Parse +import Library.ProofGraph main = do |