# HG changeset patch
# User haftmann
# Date 1282746785 -7200
# Node ID ecc713816e33336612c589749adfe5806b300457
# Parent  1c483d137371fd13985d33c46073595c189e9fa3
tuned

diff -r 1c483d137371 -r ecc713816e33 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon Aug 23 11:57:32 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Wed Aug 25 16:33:05 2010 +0200
@@ -344,11 +344,9 @@
       contr_classparam_typs
       (if string_classes then deriving_show else K false);
     fun print_module name content =
-      (name, Pretty.chunks [
+      (name, Pretty.chunks2 [
         str ("module " ^ name ^ " where {"),
-        str "",
         content,
-        str "",
         str "}"
       ]);
     fun serialize_module1 (module_name', (deps, (stmts, _))) =