src/HOL/datatype.ML

--- a/src/HOL/datatype.ML	Fri Jul 18 13:54:41 1997 +0200
+++ b/src/HOL/datatype.ML	Fri Jul 18 13:55:09 1997 +0200
@@ -231,7 +231,7 @@
       
       val xrules =
         let val (first_part, scnd_part) = calc_xrules 1 1 cons_list
-        in [Syntax.<-> (("logic", "case x of " ^ first_part),
+        in [Syntax.ParsePrintRule (("logic", "case x of " ^ first_part),
                         ("logic", tname ^ "_case " ^ scnd_part ^ " x"))]
         end;