changeset 74112 | d0527bb2e590 |
parent 73845 | bfce186331be |
child 74151 | c3b3517ef4ba |
--- a/src/Pure/Isar/locale.ML Tue Aug 03 12:39:29 2021 +0200 +++ b/src/Pure/Isar/locale.ML Tue Aug 03 13:08:23 2021 +0200 @@ -177,7 +177,7 @@ structure Locales = Theory_Data ( type T = locale Name_Space.table; - val empty : T = Name_Space.empty_table "locale"; + val empty : T = Name_Space.empty_table Markup.localeN; val extend = I; val merge = Name_Space.join_tables (K merge_locale); );