src/Pure/Isar/locale.ML

--- a/src/Pure/Isar/locale.ML	Sun Oct 25 11:58:11 2009 +0100
+++ b/src/Pure/Isar/locale.ML	Sun Oct 25 13:04:06 2009 +0100
@@ -125,7 +125,7 @@
 structure Locales = TheoryDataFun
 (
   type T = locale Name_Space.table;
-  val empty = Name_Space.empty_table "locale";
+  val empty : T = Name_Space.empty_table "locale";
   val copy = I;
   val extend = I;
   fun merge _ = Name_Space.join_tables (K merge_locale);