changeset 41741 | 839d1488045f |
parent 41740 | 4b09f8b9e012 |
child 41742 | 11e862c68b40 |
--- a/src/HOL/Tools/ATP/atp_systems.ML Wed Feb 09 17:18:58 2011 +0100 +++ b/src/HOL/Tools/ATP/atp_systems.ML Wed Feb 09 17:18:58 2011 +0100 @@ -237,8 +237,7 @@ {exec = ("Z3_HOME", "z3"), required_execs = [], arguments = fn _ => fn timeout => fn _ => - "MBQI=true /p /t:" ^ - string_of_int (to_secs 0 timeout), + "MBQI=true /p /t:" ^ string_of_int (to_secs 0 timeout), has_incomplete_mode = false, proof_delims = [], known_failures =