From 93dad0e8b95c29c56b03c556e16b26aadf4e7a40 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <m.kooijman@student.utwente.nl>
Date: Fri, 27 Feb 2009 16:24:57 +0100
Subject: [PATCH] Add some newlines in the output.

---
 Translator.hs | 1 +
 1 file changed, 1 insertion(+)

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"
 
-- 
2.30.2