From ad7d22ea438c28a7f99726e0703cccbe2a8ba5b4 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Fri, 31 Mar 2017 12:11:23 +0000
Subject: [PATCH] removed unused timeout flag

---
 matita/components/ng_tactics/nnAuto.ml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/matita/components/ng_tactics/nnAuto.ml b/matita/components/ng_tactics/nnAuto.ml
index b77c63369..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
-- 
2.39.2