changeset 33159 | 369da293bbd4 |
parent 33096 | db3c18fd9708 |
child 33278 | ba9f52f56356 |
--- 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);