--- 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;