timeout if unspecfied should be set to infinity, not 0, since the timeout inside...

every loop of auto the check gettimeofday() > timeout raise Fail

diff --git a/components/tactics/auto.ml b/components/tactics/auto.ml
index 4acacefc6bd3f09eb583a385e75a2386f8f73908..b904d52cb055bcd22263eee84d67108da633e54b 100644 (file)
--- a/components/tactics/auto.ml
+++ b/components/tactics/auto.ml
@@ -26,7 +26,7 @@
 open AutoTypes;;
 open AutoCache;;
 
-let debug_print s = () (*prerr_endline s;;*)
+let debug_print s = () (* prerr_endline s;; *)
 
 (* {{{ *********** local given_clause wrapper ***********)
 
@@ -571,7 +571,7 @@ let flags_of_params params ?(for_applyS=false) () =
       if timeout = 0 then
        if for_applyS then Unix.gettimeofday () +. 30.0
        else
-        0.0
+         infinity
       else
        Unix.gettimeofday() +. (float_of_int timeout); 
     AutoTypes.use_paramod = use_paramod;