Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/ATP/atp_systems.ML
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 =
isabelle