--- a/src/HOL/Tools/functor.ML Wed Oct 20 17:11:46 2021 +0200
+++ b/src/HOL/Tools/functor.ML Wed Oct 20 18:13:17 2021 +0200
@@ -32,7 +32,6 @@
(
type T = entry list Symtab.table
val empty = Symtab.empty
- val extend = I
fun merge data = Symtab.merge (K true) data
);