changeset 47916 | d21c91239737 |
parent 47914 | 94f37848b7c9 |
child 47931 | 406d1df3787e |
--- a/src/HOL/Tools/ATP/atp_systems.ML Mon May 14 15:54:26 2012 +0200 +++ b/src/HOL/Tools/ATP/atp_systems.ML Mon May 14 15:54:26 2012 +0200 @@ -324,7 +324,7 @@ {exec = (["LEO2_HOME"], "leo"), required_vars = [], arguments = - fn _ => fn _ => fn sos => fn timeout => fn _ => + fn _ => fn _ => fn _ => fn timeout => fn _ => "--proofoutput 1 --timeout " ^ string_of_int (to_secs 1 timeout), proof_delims = tstp_proof_delims, known_failures =