src/HOL/Tools/Lifting/lifting_setup.ML

       (Context.Theory (Proof_Context.theory_of lthy))) morphed_binding
     fun phi_qinfo phi = Lifting_Info.transform_quotient phi qinfo
 
     val thy = Proof_Context.theory_of lthy
     val dummy_thm = Thm.transfer thy Drule.dummy_thm
-    val pointer = Outer_Syntax.scan (Thy_Header.get_keywords thy) Position.none bundle_name
+    val pointer = Token.explode (Thy_Header.get_keywords thy) Position.none bundle_name
     val restore_lifting_att = 
       ([dummy_thm], [Token.src ("Lifting.lifting_restore_internal", Position.none) pointer])
   in
     lthy 
       |> Local_Theory.declaration {syntax = false, pervasive = true}