Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorpaulson
Wed, 24 Jul 2024 19:08:08 +0100
changeset 80615 49b38572a9f1
parent 80613 42408be39d6c (diff)
parent 80614 21bb6d17d58e (current diff)
child 80616 94703573e0af
child 80618 7157c61c8461
merged
--- a/src/Pure/Build/export_theory.ML	Wed Jul 24 19:07:59 2024 +0100
+++ b/src/Pure/Build/export_theory.ML	Wed Jul 24 19:08:08 2024 +0100
@@ -140,7 +140,7 @@
 
     (* recode *)
 
-    val thy_cache = perhaps ZTerm.init_cache thy;
+    val thy_cache = thy;  (* FIXME tmp *)
 
     val ztyp_of = ZTerm.ztyp_cache thy_cache;
     val zterm_of = ZTerm.zterm_of thy_cache;
isabelle