src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Tue Aug 03 12:39:29 2021 +0200
+++ b/src/Pure/Isar/attrib.ML	Tue Aug 03 13:08:23 2021 +0200
@@ -93,7 +93,7 @@
 structure Attributes = Generic_Data
 (
   type T = ((Token.src -> attribute) * string) Name_Space.table;
-  val empty : T = Name_Space.empty_table "attribute";
+  val empty : T = Name_Space.empty_table Markup.attributeN;
   val extend = I;
   fun merge data : T = Name_Space.merge_tables data;
 );