src/Tools/Code/code_ml.ML
changeset 39142 f63715f00fdd
parent 39102 4ae1d212100f
child 39148 b6530978c14d
     1.1 --- a/src/Tools/Code/code_ml.ML	Sat Sep 04 21:10:39 2010 +0200
     1.2 +++ b/src/Tools/Code/code_ml.ML	Sat Sep 04 21:10:48 2010 +0200
     1.3 @@ -785,9 +785,9 @@
     1.4        cyclic_modules = false, empty_data = (), memorize_data = K I, modify_stmts = modify_stmts } program
     1.5    end;
     1.6  
     1.7 -fun serialize_ml target print_module print_stmt with_signatures { labelled_name,
     1.8 -  reserved_syms, includes, module_alias, class_syntax, tyco_syntax,
     1.9 -  const_syntax, program, names } =
    1.10 +fun serialize_ml target print_module print_stmt with_signatures
    1.11 +    { labelled_name, reserved_syms, includes, module_alias,
    1.12 +      class_syntax, tyco_syntax, const_syntax, program } =
    1.13    let
    1.14      val is_cons = Code_Thingol.is_cons program;
    1.15      val { deresolver, hierarchical_program = ml_program } =