changeset 41343 | 71f4f15258a5 |
parent 41118 | b290841cd3b0 |
child 41940 | a3b68a7a0e15 |
--- a/src/Tools/Code/code_ml.ML Tue Dec 21 07:45:04 2010 +0100 +++ b/src/Tools/Code/code_ml.ML Tue Dec 21 08:40:39 2010 +0100 @@ -789,7 +789,7 @@ fun serialize_ml target print_ml_module print_ml_stmt with_signatures { labelled_name, reserved_syms, includes, module_alias, - class_syntax, tyco_syntax, const_syntax, program } = + class_syntax, tyco_syntax, const_syntax } program = let (* build program *)