src/Tools/Code/code_ml.ML
changeset 39034 ebeb48fd653b
parent 39031 b27d6643591c
child 39056 fa197571676b
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Sep 02 11:42:50 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Sep 02 12:30:22 2010 +0200
     1.3 @@ -815,10 +815,10 @@
     1.4        |> (fn (decls, body) => (flat decls, body))
     1.5      val names' = map (try (deresolver [])) names;
     1.6      val p = Pretty.chunks2 (map snd includes @ snd (print_nodes [] ml_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 (fn width => (rpair names' o string_of_pretty width)) p
    1.13 +    Code_Target.serialization write (rpair names' ooo format) p
    1.14    end;
    1.15  
    1.16  val serializer_sml : Code_Target.serializer =