diff -r 544f4702d621 -r 0e6f54c9d201 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Tue Aug 31 14:43:27 2010 +0200
+++ b/src/Tools/Code/code_target.ML	Tue Aug 31 15:08:04 2010 +0200
@@ -105,7 +105,6 @@
     labelled_name: string -> string,
     reserved_syms: string list,
     includes: (string * Pretty.T) list,
-    single_module: bool,
     module_alias: string -> string option,
     class_syntax: string -> string option,
     tyco_syntax: string -> Code_Printer.tyco_syntax option,
@@ -314,7 +313,6 @@
       labelled_name = Code_Thingol.labelled_name thy proto_program,
       reserved_syms = reserved,
       includes = includes,
-      single_module = is_some module_name,
       module_alias = if is_some module_name then K module_name else Symtab.lookup module_alias,
       class_syntax = Symtab.lookup class_syntax,
       tyco_syntax = Symtab.lookup tyco_syntax,