src/Tools/Code/code_scala.ML

--- a/src/Tools/Code/code_scala.ML	Thu Sep 02 14:36:49 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu Sep 02 14:59:28 2010 +0200
@@ -329,7 +329,7 @@
 
 fun serialize_scala { labelled_name, reserved_syms, includes,
     module_alias, class_syntax, tyco_syntax, const_syntax, program,
-    names, presentation_names } =
+    names } =
   let
 
     (* build program *)