From 12b3e97d0ee4b7d1fa6560b91d14ef7be110bdff Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Thu, 9 Aug 2012 05:15:01 +1000
Subject: Compilation now automated

---
 WriteProofMain.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'WriteProofMain.hs')

diff --git a/WriteProofMain.hs b/WriteProofMain.hs
index e480716..565aad2 100644
--- a/WriteProofMain.hs
+++ b/WriteProofMain.hs
@@ -8,7 +8,7 @@ import WriteProof
 
 main = do
     args <- getArgs
-    list <- getLines $ head args
+    list <- getLines (head args)
     let graph = doGraphGen (map (stripReturn) list)
         trace = doWriteProof graph
     output trace
-- 
cgit