From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Fri, 27 Feb 2009 15:24:57 +0000 (+0100)
Subject: Add some newlines in the output.
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=93dad0e8b95c29c56b03c556e16b26aadf4e7a40;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Add some newlines in the output.
---

diff --git a/Translator.hs b/Translator.hs
index d11d29e..ed560ec 100644
--- a/Translator.hs
+++ b/Translator.hs
@@ -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"