src/HOL/TPTP/sledgehammer_tactics.ML

       override_params @
       [("preplay_timeout", "0"),
        ("minimize", "false")]
     val xs = run_prover override_params fact_override chained i i ctxt th
   in
-    if is_some xs then ALLGOALS Skip_Proof.cheat_tac th else Seq.empty
+    if is_some xs then ALLGOALS (Skip_Proof.cheat_tac ctxt) th else Seq.empty
   end
 
 end;