src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Pure/Isar/attrib.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -95,7 +95,6 @@
 (
   type T = ((Token.src -> attribute) * string) Name_Space.table;
   val empty : T = Name_Space.empty_table Markup.attributeN;
-  val extend = I;
   fun merge data : T = Name_Space.merge_tables data;
 );
 
@@ -383,7 +382,6 @@
 (
   type T = Config.value Config.T Symtab.table;
   val empty = Symtab.empty;
-  val extend = I;
   fun merge data = Symtab.merge (K true) data;
 );