changeset 39058 | 551fe1af03b0 |
parent 39057 | c6d146ed07ae |
child 39059 | 3a11a667af75 |
--- a/src/Tools/Code/code_ml.ML Thu Sep 02 14:36:49 2010 +0200 +++ b/src/Tools/Code/code_ml.ML Thu Sep 02 14:59:28 2010 +0200 @@ -787,7 +787,7 @@ 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, presentation_names } = + const_syntax, program, names } = let val is_cons = Code_Thingol.is_cons program; val { deresolver, hierarchical_program = ml_program } =