diff -r 3519e0dd8f75 -r 71f4f15258a5 src/Tools/Code/code_ml.ML
--- 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 *)