diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-08-02 08:31:09 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-08-02 08:31:09 +1000 |
| commit | 561175c53ada76ec2bcf69ffcacefc2010d13c2d (patch) | |
| tree | a376e0a3739e3933d183096f1f8025d4813a658f /WriteProofMain.hs | |
| parent | c60a10bc83b7b6ddb2bbd5cc9b7887d43acce882 (diff) | |
Moved proof trace output formatting function to Parse.hs
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 |