src/HOL/Tools/Lifting/lifting_setup.ML

--- a/src/HOL/Tools/Lifting/lifting_setup.ML	Fri Oct 04 23:38:04 2024 +0200
+++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Sat Oct 05 14:58:36 2024 +0200
@@ -959,7 +959,7 @@
 
 fun pointer_of_bundle_name bundle_name ctxt =
   let
-    val bundle = Bundle.read ctxt bundle_name
+    val bundle = Bundle.get ctxt (Bundle.check ctxt bundle_name)
     fun err () = error "The provided bundle is not a lifting bundle"
   in
     (case bundle of