Add some newlines in the output.
authorMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 27 Feb 2009 15:24:57 +0000 (16:24 +0100)
committerMatthijs Kooijman <m.kooijman@student.utwente.nl>
Fri, 27 Feb 2009 15:24:57 +0000 (16:24 +0100)
Translator.hs

index d11d29e4d09559c97528c8a8e8c09f3520da4589..ed560ec59e136830a9433fe41a88174e7f4f5f58 100644 (file)
@@ -61,6 +61,7 @@ listBind filename name = do
   let binds = findBinds core [name]
   putStr "\n"
   putStr $ prettyShow binds
+  putStr "\n\n"
   putStr $ showSDoc $ ppr binds
   putStr "\n\n"