src/Pure/Isar/generic_target.ML

--- a/src/Pure/Isar/generic_target.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Pure/Isar/generic_target.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -169,7 +169,6 @@
 (
   type T = (binding * (term * term list) -> Context.generic -> Context.generic) Inttab.table;
   val empty = Inttab.empty;
-  val extend = I;
   val merge = Inttab.merge (K true);
 );