# HG changeset patch
# User blanchet
# Date 1284214772 -7200
# Node ID 46c06182b1e33726749d7f2db0bd18f44b13caee
# Parent  0a85f960ac502a7d315ab389286abcb2ee8c5604
crank up Auto Tools timeout;
instead of 2500 ms (for Auto Solve) + 2500 ms (for Auto Quickcheck/Nitpick), have 4000 ms as the cumulative timeout

diff -r 0a85f960ac50 -r 46c06182b1e3 src/Tools/auto_tools.ML
--- a/src/Tools/auto_tools.ML	Sat Sep 11 12:32:31 2010 +0200
+++ b/src/Tools/auto_tools.ML	Sat Sep 11 16:19:32 2010 +0200
@@ -17,7 +17,7 @@
 
 (* preferences *)
 
-val time_limit = Unsynchronized.ref 2500
+val time_limit = Unsynchronized.ref 4000
 
 val _ =
   ProofGeneralPgip.add_preference Preferences.category_tracing