From 561175c53ada76ec2bcf69ffcacefc2010d13c2d Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 2 Aug 2012 08:31:09 +1000 Subject: Moved proof trace output formatting function to Parse.hs --- WriteProofMain.hs | 6 ------ 1 file changed, 6 deletions(-) (limited to 'WriteProofMain.hs') 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 -- cgit