src/HOL/Tools/datatype_package.ML
changeset 24349 0dd8782fb02d
parent 24346 4f6b71b84ee7
child 24423 ae9cd0e92423
--- a/src/HOL/Tools/datatype_package.ML	Mon Aug 20 18:07:49 2007 +0200
+++ b/src/HOL/Tools/datatype_package.ML	Mon Aug 20 18:10:13 2007 +0200
@@ -433,7 +433,7 @@
 
 val trfun_setup =
   Theory.add_advanced_trfuns ([],
-    [("_case_syntax", DatatypeCase.case_tr datatype_of_constr)],
+    [("_case_syntax", DatatypeCase.case_tr true datatype_of_constr)],
     [], []);