diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-09-13 02:14:04 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-13 02:14:04 +1000 |
| commit | ea3f1f7736c57747e743a5106b917d2853c62f57 (patch) | |
| tree | f6aa645c04b3606694184fa9b949abd020550643 /ProofGraphMain.hs | |
| parent | ec95ea382132f0702e5046a721e4d8ea4cdc82e3 (diff) | |
Cleaner directory structure, addition of make clean, grouping of library modules into a single package
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 |