src/Tools/Code/code_ml.ML
changeset 39058 551fe1af03b0
parent 39057 c6d146ed07ae
child 39059 3a11a667af75
     1.1 --- a/src/Tools/Code/code_ml.ML	Thu Sep 02 14:36:49 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Thu Sep 02 14:59:28 2010 +0200
     1.3 @@ -787,7 +787,7 @@
     1.4  
     1.5  fun serialize_ml target print_module print_stmt with_signatures { labelled_name,
     1.6    reserved_syms, includes, module_alias, class_syntax, tyco_syntax,
     1.7 -  const_syntax, program, names, presentation_names } =
     1.8 +  const_syntax, program, names } =
     1.9    let
    1.10      val is_cons = Code_Thingol.is_cons program;
    1.11      val { deresolver, hierarchical_program = ml_program } =