--- a/src/Tools/Code/code_ml.ML Sat Sep 04 21:10:39 2010 +0200
+++ b/src/Tools/Code/code_ml.ML Sat Sep 04 21:10:48 2010 +0200
@@ -785,9 +785,9 @@
cyclic_modules = false, empty_data = (), memorize_data = K I, modify_stmts = modify_stmts } program
end;
-fun serialize_ml target print_module print_stmt with_signatures { labelled_name,
- reserved_syms, includes, module_alias, class_syntax, tyco_syntax,
- const_syntax, program, names } =
+fun serialize_ml target print_module print_stmt with_signatures
+ { labelled_name, reserved_syms, includes, module_alias,
+ class_syntax, tyco_syntax, const_syntax, program } =
let
val is_cons = Code_Thingol.is_cons program;
val { deresolver, hierarchical_program = ml_program } =