author | wenzelm |
Fri, 17 Jul 2020 15:13:03 +0200 | |
changeset 72055 | deb390860f07 |
parent 72054 | 6c75287276d5 |
child 72056 | b9f5f30b623f |
--- a/src/Pure/global_theory.ML Fri Jul 17 15:08:56 2020 +0200 +++ b/src/Pure/global_theory.ML Fri Jul 17 15:13:03 2020 +0200 @@ -62,7 +62,7 @@ ( type T = Facts.T * Thm_Name.T Inttab.table lazy option; val empty: T = (Facts.empty, NONE); - fun extend (facts, _) = (facts, NONE); + val extend = I; fun merge ((facts1, _), (facts2, _)) = (Facts.merge (facts1, facts2), NONE); );