1.1 --- a/src/HOL/TPTP/CASC_Setup.thy Mon Jan 23 17:40:31 2012 +0100
1.2 +++ b/src/HOL/TPTP/CASC_Setup.thy Mon Jan 23 17:40:32 2012 +0100
1.3 @@ -129,7 +129,7 @@
1.4 Sledgehammer_Filter.no_relevance_override))
1.5 ORELSE
1.6 SOLVE_TIMEOUT (max_secs div 10) "metis"
1.7 - (ALLGOALS (Metis_Tactic.metis_tac [] ATP_Translate.lam_liftingN ctxt []))
1.8 + (ALLGOALS (Metis_Tactic.metis_tac [] ATP_Problem_Generate.lam_liftingN ctxt []))
1.9 ORELSE
1.10 SOLVE_TIMEOUT (max_secs div 10) "fast" (ALLGOALS (fast_tac ctxt))
1.11 ORELSE