# HG changeset patch
# User wenzelm
# Date 1237224279 -3600
# Node ID c601204b055c3a3f21742bc26fd2fe8fdec0bba9
# Parent  eb720644facd3aa90eba921a26ef234bf4645ebf# Parent  d2d7874648bda047741356da04c9ead1290ff72c
merged

diff -r d2d7874648bd -r c601204b055c src/HOL/Tools/atp_wrapper.ML
--- 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;