From 34fc94bfcd6172a4f856638213e3d50dc81444ca Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Mon, 16 Mar 2009 12:41:36 +0000 Subject: [PATCH] New parameters for applyS: 10 20. --- helm/software/components/tactics/auto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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"))) -- 2.39.2