src/Tools/Code/code_ml.ML
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 } =