diff options
Diffstat (limited to 'ListThm.hs')
-rw-r--r-- | ListThm.hs | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |