From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 16 Mar 2009 12:41:36 +0000 (+0000)
Subject: New parameters for applyS: 10 20.
X-Git-Tag: make_still_working~4149
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=34fc94bfcd6172a4f856638213e3d50dc81444ca;p=helm.git

New parameters for applyS: 10 20.
---

diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml
index 1755fd08e..f78dbce75 100644
--- a/helm/software/components/tactics/auto.ml
+++ b/helm/software/components/tactics/auto.ml
@@ -735,7 +735,7 @@ let new_metasenv_and_unify_and_t
    in
  match 
      Saturation.given_clause bag maxm (proof'''',newmeta) active passive 
-       10 10 flags.timeout
+       20 10 flags.timeout
  with
  | None, _,_,_ -> 
      raise (ProofEngineTypes.Fail (lazy ("FIXME: propaga le tabelle")))