src/Pure/Isar/attrib.ML
changeset 33159 369da293bbd4
parent 33096 db3c18fd9708
child 33368 b1cf34f1855c
--- a/src/Pure/Isar/attrib.ML	Sun Oct 25 11:58:11 2009 +0100
+++ b/src/Pure/Isar/attrib.ML	Sun Oct 25 13:04:06 2009 +0100
@@ -68,7 +68,7 @@
 structure Attributes = TheoryDataFun
 (
   type T = ((src -> attribute) * string) Name_Space.table;
-  val empty = Name_Space.empty_table "attribute";
+  val empty : T = Name_Space.empty_table "attribute";
   val copy = I;
   val extend = I;
   fun merge _ tables : T = Name_Space.merge_tables tables;