X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2FnnAuto.ml;h=1937229af366726d641bd7bcc13a43d0a9085aa8;hb=b98ec1a1a37602eca524dc5487c357a200bbb5b6;hp=c42ab8b2759d8493bd7396c1f2262c26e2593fd6;hpb=9afdb35b870c15760f482a1b4a0ad7b4dcd5172b;p=helm.git

diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml
index c42ab8b27..1937229af 100644
--- a/matita/components/ng_tactics/nnAuto.ml
+++ b/matita/components/ng_tactics/nnAuto.ml
@@ -895,7 +895,6 @@ type flags = {
         maxwidth : int;
         maxsize  : int;
         maxdepth : int;
-        timeout  : float;
 }
 
 type cache =
@@ -1833,7 +1832,6 @@ let auto_tac ~params:(univ,flags) ?(trace_ref=ref []) status =
           maxwidth = width;
           maxsize = size;
           maxdepth = depth;
-          timeout = Unix.gettimeofday() +. 3000.;
           do_types = false; 
   } in
   let initial_time = Unix.gettimeofday() in
@@ -1887,23 +1885,3 @@ let auto_tac ~params:(_,flags as params) ?trace_ref =
     fast_eq_check_tac ~params  
   else auto_tac ~params ?trace_ref
 ;;
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-