src/HOL/Tools/Lifting/lifting_setup.ML

--- a/src/HOL/Tools/Lifting/lifting_setup.ML	Sun Sep 24 15:14:45 2023 +0200
+++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Sun Sep 24 15:55:42 2023 +0200
@@ -970,11 +970,7 @@
     fun err () = error "The provided bundle is not a lifting bundle"
   in
     (case bundle of
-      [(_, [arg_src])] => 
-        let
-          val (name, _) = Token.syntax (Scan.lift Parse.string) arg_src ctxt
-            handle ERROR _ => err ()
-        in name end
+      [(_, [arg_src])] => (Token.read ctxt Parse.string arg_src handle ERROR _ => err ())
     | _ => err ())
   end