changeset 21900 | f386d7eb17d1 |
parent 21888 | c75a44597fb7 |
child 21980 | d22f7e3c5ad9 |
--- a/src/HOL/Tools/res_atp.ML Fri Dec 22 20:58:14 2006 +0100 +++ b/src/HOL/Tools/res_atp.ML Fri Dec 22 21:00:42 2006 +0100 @@ -807,7 +807,7 @@ let val Eprover = helper_path "E_HOME" "eproof" in ("E", Eprover, - "--tstp-in%-l5%-xAutoDev%-tAutoDev%--silent%--cpu-limit=" ^ time, probfile) :: + "--tstp-in%--tstp-out%-l5%-xAutoDev%-tAutoDev%--silent%--cpu-limit=" ^ time, probfile) :: make_atp_list xs (n+1) end else error ("Invalid prover name: " ^ !prover)