# HG changeset patch
# User haftmann
# Date 1160468664 -7200
# Node ID 2526ef41a1895cdf4ca7ae492ab73641534403b1
# Parent  a81ce849e9f48e6b028fafa0cc4c05aefd4bf235
no breaks for Haskell

diff -r a81ce849e9f4 -r 2526ef41a189 src/Pure/Tools/codegen_serializer.ML
--- a/src/Pure/Tools/codegen_serializer.ML	Tue Oct 10 09:18:09 2006 +0200
+++ b/src/Pure/Tools/codegen_serializer.ML	Tue Oct 10 10:24:24 2006 +0200
@@ -824,7 +824,7 @@
               ) classop_defs)
             ]
           end |> SOME
-  in Pretty.setmp_margin 999999 pr_def def end;
+  in pr_def def end;
 
 
 (** generic abstract serializer **)
@@ -1067,7 +1067,7 @@
       | _ => (Path.ext ext o Path.unpack o implode o separate "/" o NameSpace.unpack) name;
   in
     p
-    |> write_file true (Path.append prfx name')
+    |> Pretty.setmp_margin 999999 (write_file true (Path.append prfx name'))
     |> postprocess_module name
   end;