--- a/src/Tools/Code/code_scala.ML Fri Jul 27 21:57:56 2012 +0200
+++ b/src/Tools/Code/code_scala.ML Fri Jul 27 22:26:38 2012 +0200
@@ -385,8 +385,9 @@
lift_markup = I } scala_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 : Code_Target.serializer =