diff -r 15f8cffdbf5d -r ec2a8efd8990 src/Tools/Code/code_eval.ML
--- a/src/Tools/Code/code_eval.ML	Tue Aug 31 13:08:58 2010 +0200
+++ b/src/Tools/Code/code_eval.ML	Tue Aug 31 13:15:35 2010 +0200
@@ -150,7 +150,7 @@
   let
     val k = Code.args_number thy const;
     fun pr pr' fxy ts = Code_Printer.brackify fxy
-      (const' :: the_list (Code_ML.print_tuple pr' Code_Printer.BR (map fst ts)));
+      (const' :: the_list (Code_Printer.tuplify pr' Code_Printer.BR (map fst ts)));
   in
     thy
     |> Code_Target.add_syntax_const target const (SOME (Code_Printer.simple_const_syntax (k, pr)))