src/Tools/Code/code_target.ML
changeset 38912 c79c1e4e1111
parent 38910 6af1d8673cbf
child 38913 d1d4d808be26
     1.1 --- a/src/Tools/Code/code_target.ML	Mon Aug 30 16:11:09 2010 +0200
     1.2 +++ b/src/Tools/Code/code_target.ML	Mon Aug 30 16:17:10 2010 +0200
     1.3 @@ -110,7 +110,6 @@
     1.4    -> (string -> string option)          (*class syntax*)
     1.5    -> (string -> Code_Printer.tyco_syntax option)
     1.6    -> (string -> Code_Printer.activated_const_syntax option)
     1.7 -  -> ((Pretty.T -> string) * (Pretty.T -> unit))
     1.8    -> Code_Thingol.program
     1.9    -> (string list * string list)        (*selected statements*)
    1.10    -> int
    1.11 @@ -282,7 +281,6 @@
    1.12      serializer module_name args (Code_Thingol.labelled_name thy program2) reserved includes
    1.13        (if is_some module_name then K module_name else Symtab.lookup module_alias)
    1.14        (Symtab.lookup class') (Symtab.lookup tyco') (Symtab.lookup const')
    1.15 -      (Code_Printer.string_of_pretty width, Code_Printer.writeln_pretty width)
    1.16        program4 (names1, presentation_names) width
    1.17    end;
    1.18