summaryrefslogtreecommitdiff
path: root/ProofGraphMain.hs
diff options
context:
space:
mode:
Diffstat (limited to 'ProofGraphMain.hs')
-rw-r--r--ProofGraphMain.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/ProofGraphMain.hs b/ProofGraphMain.hs
index 91767ad..abd7a56 100644
--- a/ProofGraphMain.hs
+++ b/ProofGraphMain.hs
@@ -6,6 +6,6 @@ import ProofGraph
main = do
args <- getArgs
- list <- getLines $ head args
+ list <- getLines (head args)
let result = doGraphGen (map (stripReturn) list)
printf $ (show result) ++ "\n"