# HG changeset patch
# User immler@in.tum.de
# Date 1233671392 -3600
# Node ID 6fa257b4d10f44200c72b5542d6e0d395173c631
# Parent  1e3afd4fe3a32b7b403bdf0843e7701fd7adfc31
changed default timeout

diff -r 1e3afd4fe3a3 -r 6fa257b4d10f src/HOL/Tools/atp_manager.ML
--- a/src/HOL/Tools/atp_manager.ML	Tue Feb 03 11:16:28 2009 +0100
+++ b/src/HOL/Tools/atp_manager.ML	Tue Feb 03 15:29:52 2009 +0100
@@ -37,7 +37,7 @@
 
 val atps = ref "e remote_vampire";
 val max_atps = ref 5;   (* ~1 means infinite number of atps *)
-val timeout = ref 100;
+val timeout = ref 60;
 
 in