src/Tools/Code/code_scala.ML
changeset 39034 ebeb48fd653b
parent 39030 2bb34f36db80
child 39056 fa197571676b
     1.1 --- a/src/Tools/Code/code_scala.ML	Thu Sep 02 11:42:50 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Thu Sep 02 12:30:22 2010 +0200
     1.3 @@ -392,10 +392,10 @@
     1.4      (* serialization *)
     1.5      val p_includes = if null presentation_names then map snd includes else [];
     1.6      val p = Pretty.chunks2 (p_includes @ the_list (print_nodes [] sca_program));
     1.7 -    fun write width NONE = writeln_pretty width
     1.8 -      | write width (SOME p) = File.write p o string_of_pretty width;
     1.9 +    fun write width NONE = writeln o format false width
    1.10 +      | write width (SOME p) = File.write p o format false width;
    1.11    in
    1.12 -    Code_Target.serialization write (rpair [] oo string_of_pretty) p
    1.13 +    Code_Target.serialization write (rpair [] ooo format) p
    1.14    end;
    1.15  
    1.16  val serializer : Code_Target.serializer =