diff -r 5c8177fd1295 -r 8e6c973003c8 src/Tools/Code/code_simp.ML --- a/src/Tools/Code/code_simp.ML Wed Oct 20 17:11:46 2021 +0200 +++ b/src/Tools/Code/code_simp.ML Wed Oct 20 18:13:17 2021 +0200 @@ -26,7 +26,6 @@ ( type T = simpset; val empty = empty_ss; - val extend = I; val merge = merge_ss; );