diff options
Diffstat (limited to 'WriteProofMain.hs')
| -rw-r--r-- | WriteProofMain.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/WriteProofMain.hs b/WriteProofMain.hs index 565aad2..0e8d9c6 100644 --- a/WriteProofMain.hs +++ b/WriteProofMain.hs @@ -1,4 +1,4 @@ -import System( getArgs ) +import System.Environment( getArgs ) import Text.Printf import Parse import ProofGraph |