src/Tools/Code/code_scala.ML
changeset 38928 0e6f54c9d201
parent 38926 24f82786cc57
child 38966 68853347ba37
     1.1 --- a/src/Tools/Code/code_scala.ML	Tue Aug 31 14:43:27 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Tue Aug 31 15:08:04 2010 +0200
     1.3 @@ -413,7 +413,7 @@
     1.4  
     1.5    in (deresolver, sca_program) end;
     1.6  
     1.7 -fun serialize_scala { labelled_name, reserved_syms, includes, single_module,
     1.8 +fun serialize_scala { labelled_name, reserved_syms, includes,
     1.9      module_alias, class_syntax, tyco_syntax, const_syntax, program,
    1.10      names, presentation_names } =
    1.11    let