--- a/src/HOL/Tools/atp_wrapper.ML Sun Mar 15 20:25:58 2009 +0100
+++ b/src/HOL/Tools/atp_wrapper.ML Mon Mar 16 14:26:30 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;