src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Tue Sep 25 17:06:14 2007 +0200
+++ b/src/Pure/Isar/attrib.ML	Tue Sep 25 17:06:18 2007 +0200
@@ -201,13 +201,13 @@
 (* naming *)
 
 structure Configs = TheoryDataFun
-(struct
+(
   type T = Config.value Config.T Symtab.table;
   val empty = Symtab.empty;
   val copy = I;
   val extend = I;
   fun merge _ = Symtab.merge (K true);
-end);
+);
 
 fun print_configs ctxt =
   let