src/Tools/Code/code_ml.ML

       @ map snd (Code_Namespace.print_hierarchical {
         print_module = print_module, print_stmt = print_stmt,
         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 =
   Code_Target.parse_args (Scan.optional (Args.$$$ "no_signatures" >> K false) true
   >> (fn with_signatures => serialize_ml print_sml_module print_sml_stmt with_signatures));