--- a/src/Tools/Code/code_target.ML Mon Aug 30 16:11:09 2010 +0200
+++ b/src/Tools/Code/code_target.ML Mon Aug 30 16:17:10 2010 +0200
@@ -110,7 +110,6 @@
-> (string -> string option) (*class syntax*)
-> (string -> Code_Printer.tyco_syntax option)
-> (string -> Code_Printer.activated_const_syntax option)
- -> ((Pretty.T -> string) * (Pretty.T -> unit))
-> Code_Thingol.program
-> (string list * string list) (*selected statements*)
-> int
@@ -282,7 +281,6 @@
serializer module_name args (Code_Thingol.labelled_name thy program2) reserved includes
(if is_some module_name then K module_name else Symtab.lookup module_alias)
(Symtab.lookup class') (Symtab.lookup tyco') (Symtab.lookup const')
- (Code_Printer.string_of_pretty width, Code_Printer.writeln_pretty width)
program4 (names1, presentation_names) width
end;