diff -r 6e5702395491 -r 084cd758a8ab src/Tools/Code/code_ml.ML
--- 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 =