New parameters for applyS: 10 20.

[helm.git] / helm / software / components / tactics / auto.ml

diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml
index 1755fd08e808f22370e330403ee73bc73c78bf17..f78dbce75976c26416cccd679af13af08694bbf9 100644 (file)
--- 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")))