1.1 --- a/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Thu Jul 14 16:50:05 2011 +0200
     1.2 +++ b/src/HOL/Mirabelle/Tools/mirabelle_sledgehammer.ML	Thu Jul 14 16:50:05 2011 +0200
     1.3 @@ -369,7 +369,8 @@
     1.4      val st' =
     1.5        st |> Proof.map_context
     1.6                  (change_dir dir
     1.7 -                 #> (Option.map (Config.put ATP_Translate.lambda_translation)
     1.8 +                 #> (Option.map (Config.put
     1.9 +                       Sledgehammer_Provers.atp_lambda_translation)
    1.10                         lambda_translation |> the_default I)
    1.11                   #> (Option.map (Config.put ATP_Systems.e_weight_method)
    1.12                         e_weight_method |> the_default I)