changeset 74561 | 8e6c973003c8 |
parent 74261 | d28a51dd9da6 |
child 77889 | 5db014c36f42 |
--- a/src/Pure/global_theory.ML Wed Oct 20 17:11:46 2021 +0200 +++ b/src/Pure/global_theory.ML Wed Oct 20 18:13:17 2021 +0200 @@ -64,7 +64,6 @@ ( type T = Facts.T * Thm_Name.T Inttab.table lazy option; val empty: T = (Facts.empty, NONE); - val extend = I; fun merge ((facts1, _), (facts2, _)) = (Facts.merge (facts1, facts2), NONE); );