--- a/src/Tools/Code/code_ml.ML Fri Jul 27 21:57:56 2012 +0200
+++ b/src/Tools/Code/code_ml.ML Fri Jul 27 22:26:38 2012 +0200
@@ -811,8 +811,9 @@
lift_markup = apsnd } ml_program));
fun write width NONE = writeln o format [] width
| write width (SOME p) = File.write p o format [] width;
+ fun prepare names width p = ([("", format names width p)], try (deresolver []));
in
- Code_Target.serialization write (rpair (try (deresolver [])) ooo format) p
+ Code_Target.serialization write prepare p
end;
val serializer_sml : Code_Target.serializer =