diff options
Diffstat (limited to 'WriteProofMain.hs')
| -rw-r--r-- | WriteProofMain.hs | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/WriteProofMain.hs b/WriteProofMain.hs index 745ad21..e480716 100644 --- a/WriteProofMain.hs +++ b/WriteProofMain.hs @@ -5,12 +5,6 @@ import ProofGraph import WriteProof -output :: [String] -> IO () -output [] = return () -output list = do - putStrLn (head list) - output (tail list) - main = do args <- getArgs |