--- a/src/HOL/Tools/list_code.ML Mon Jul 19 11:55:43 2010 +0200
+++ b/src/HOL/Tools/list_code.ML Mon Jul 19 11:55:44 2010 +0200
@@ -46,8 +46,8 @@
Code_Printer.literal_list literals (map (pr vars Code_Printer.NOBR) ts)
| NONE =>
default_list (Code_Printer.infix_cons literals) (pr vars) fxy t1 t2;
- in Code_Target.add_syntax_const target
- @{const_name Cons} (SOME (2, ([@{const_name Nil}, @{const_name Cons}], pretty)))
+ in Code_Target.add_syntax_const target @{const_name Cons}
+ (SOME (Code_Printer.complex_const_syntax (2, ([@{const_name Nil}, @{const_name Cons}], pretty))))
end
end;