Compilation now automated

1 files changed, 1 insertions, 1 deletions

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