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

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

(limited to 'ListThm.hs')

diff --git a/ListThm.hs b/ListThm.hs
index ad65911..a7098b4 100644
--- a/ListThm.hs
+++ b/ListThm.hs
@@ -36,7 +36,7 @@ toThms graph nodeList =
 
 main = do
     args <- getArgs
-    list <- getLines $ head args
+    list <- getLines (head args)
     let graph = doGraphGen (map (stripReturn) list)
         initList = filter (\x -> Graph.indeg graph x == 0) (Graph.nodes graph)
         theorems = toThms graph initList
-- 
cgit