merged
authorwenzelm
Mon, 16 Mar 2009 18:24:39 +0100
changeset 30550 c601204b055c
parent 30542 eb720644facd (diff)
parent 30549 d2d7874648bd (current diff)
child 30551 24e156db414c
merged
--- a/src/HOL/Tools/atp_wrapper.ML	Mon Mar 16 18:24:30 2009 +0100
+++ b/src/HOL/Tools/atp_wrapper.ML	Mon Mar 16 18:24:39 2009 +0100
@@ -177,7 +177,7 @@
 
 fun remote_prover_opts max_new theory_const args timeout =
   tptp_prover_opts max_new theory_const
-  (Path.explode "$ISABELLE_HOME/contrib/SystemOnTPTP/remote", args ^ " -t " ^ string_of_int (timeout - 10))
+  (Path.explode "$ISABELLE_HOME/contrib/SystemOnTPTP/remote", args ^ " -t " ^ string_of_int timeout)
   timeout;
 
 val remote_prover = remote_prover_opts 60 false;