1.1 --- a/src/HOL/Tools/Lifting/lifting_setup.ML	Mon Mar 10 13:55:03 2014 +0100
     1.2 +++ b/src/HOL/Tools/Lifting/lifting_setup.ML	Mon Mar 10 15:04:01 2014 +0100
     1.3 @@ -954,8 +954,7 @@
     1.4  
     1.5  fun pointer_of_bundle_name bundle_name ctxt =
     1.6    let
     1.7 -    val bundle_name = Bundle.check ctxt bundle_name
     1.8 -    val bundle = Bundle.the_bundle ctxt bundle_name
     1.9 +    val bundle = Bundle.get_bundle_cmd ctxt bundle_name
    1.10    in
    1.11      case bundle of
    1.12        [(_, [arg_src])] =>