From 12b3e97d0ee4b7d1fa6560b91d14ef7be110bdff Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 9 Aug 2012 05:15:01 +1000 Subject: Compilation now automated --- ProofGraphMain.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'ProofGraphMain.hs') 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" -- cgit