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