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  | 
