--- a/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML Thu Nov 13 14:40:06 2014 +0100
+++ b/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML Thu Nov 13 17:28:11 2014 +0100
@@ -7,7 +7,6 @@
signature CTR_SUGAR =
sig
-
datatype ctr_sugar_kind = Datatype | Codatatype | Record | Unknown
type ctr_sugar =