Moved proof trace output formatting function to Parse.hs

2 files changed, 9 insertions, 7 deletions

diff --git a/Parse.hs b/Parse.hs
index 484342f..676f2e7 100644
--- a/Parse.hs
+++ b/Parse.hs
@@ -6,7 +6,8 @@ module Parse (
 	separateBy,
 	isComment,
 	isNumber,
-	isName
+	isName,
+	output
 	) where
 
 import Control.Monad( liftM )
@@ -54,3 +55,10 @@ isNumber n = all (Char.isNumber) n
 
 isName :: String -> Bool
 isName s = all ((==) '"') [head s, last s]
+
+
+output :: [String] -> IO ()
+output [] = return ()
+output list = do
+	putStrLn (head list)
+	output (tail list)
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