src/HOL/Tools/Datatype/datatype_data.ML

--- a/src/HOL/Tools/Datatype/datatype_data.ML	Mon Sep 01 16:17:46 2014 +0200
+++ b/src/HOL/Tools/Datatype/datatype_data.ML	Mon Sep 01 16:17:46 2014 +0200
@@ -7,6 +7,7 @@
 signature DATATYPE_DATA =
 sig
   include DATATYPE_COMMON
+
   val get_all : theory -> info Symtab.table
   val get_info : theory -> string -> info option
   val the_info : theory -> string -> info