--- a/src/HOL/Tools/Lifting/lifting_setup.ML Fri Nov 07 16:22:25 2014 +0100
+++ b/src/HOL/Tools/Lifting/lifting_setup.ML Fri Nov 07 16:36:55 2014 +0100
@@ -221,7 +221,7 @@
val thy = Proof_Context.theory_of lthy
val dummy_thm = Thm.transfer thy Drule.dummy_thm
- val pointer = Outer_Syntax.scan (Keyword.get_keywords ()) Position.none bundle_name
+ val pointer = Outer_Syntax.scan (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