src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Pure/Isar/method.ML	Wed Oct 20 18:13:17 2021 +0200
@@ -294,7 +294,6 @@
     facts: thm list option};
   val empty : T =
     {methods = Name_Space.empty_table Markup.methodN, ml_tactic = NONE, facts = NONE};
-  val extend = I;
   fun merge
     ({methods = methods1, ml_tactic = ml_tactic1, facts = facts1},
      {methods = methods2, ml_tactic = ml_tactic2, facts = facts2}) : T =