# HG changeset patch
# User immler@in.tum.de
# Date 1237209990 -3600
# Node ID eb720644facd3aa90eba921a26ef234bf4645ebf
# Parent  9f168bdc468a37a7ba3a2cf9ca9c49f57ea6e856
have remote script interrupted like the other provers

diff -r 9f168bdc468a -r eb720644facd src/HOL/Tools/atp_wrapper.ML
--- 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;