--- a/src/Pure/more_thm.ML Wed Oct 20 17:11:46 2021 +0200
+++ b/src/Pure/more_thm.ML Wed Oct 20 18:13:17 2021 +0200
@@ -665,7 +665,6 @@
(
type T = thm list lazy Inttab.table;
val empty = Inttab.empty;
- val extend = I;
val merge = Inttab.merge (K true);
);