src/Tools/Code/code_scala.ML

--- a/src/Tools/Code/code_scala.ML	Tue Aug 31 14:43:27 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Tue Aug 31 15:08:04 2010 +0200
@@ -413,7 +413,7 @@
 
   in (deresolver, sca_program) end;
 
-fun serialize_scala { labelled_name, reserved_syms, includes, single_module,
+fun serialize_scala { labelled_name, reserved_syms, includes,
     module_alias, class_syntax, tyco_syntax, const_syntax, program,
     names, presentation_names } =
   let