src/Tools/Code/code_scala.ML

       in Long_Name.implode (remainder @ [base']) end
         handle Graph.UNDEF _ => error ("Unknown statement name: " ^ labelled_name name);
 
   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
 
     (* build program *)