Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Lifting/lifting_setup.ML
changeset 81106 849efff7de15
parent 80673 5aa376b7abb8
child 81116 0fb1e2dd4122 
--- a/src/HOL/Tools/Lifting/lifting_setup.ML	Wed Oct 02 20:49:44 2024 +0200
+++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Wed Oct 02 22:08:52 2024 +0200
@@ -245,7 +245,7 @@
     lthy
     |> Local_Theory.declaration {syntax = false, pervasive = true, pos = \<^here>}
         (fn phi => Lifting_Info.init_restore_data bundle_name (phi_qinfo phi))
-    |> Bundle.bundle ((binding, [restore_lifting_att])) []
+    |> Bundle.bundle {open_bundle = false} ((binding, [restore_lifting_att])) []
     |> pair binding
   end
isabelle