src/Tools/Code/code_scala.ML

--- a/src/Tools/Code/code_scala.ML	Sat Sep 04 21:10:39 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Sat Sep 04 21:10:48 2010 +0200
@@ -329,8 +329,7 @@
   end;
 
 fun serialize_scala { labelled_name, reserved_syms, includes,
-    module_alias, class_syntax, tyco_syntax, const_syntax, program,
-    names } =
+    module_alias, class_syntax, tyco_syntax, const_syntax, program } =
   let
 
     (* build program *)