X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fparamodulation%2Fboolean_algebra.ma;h=ab47854da09c2170a38e1863110814c694d24ecd;hb=a165474ee3776573574d46363ec78b225fc3c523;hp=85525db0ed58dfdeb1bfa4eefcfced94801babf5;hpb=1936ff5bb1319f44919f1146140debc7f52f1cff;p=helm.git

diff --git a/helm/software/matita/tests/paramodulation/boolean_algebra.ma b/helm/software/matita/tests/paramodulation/boolean_algebra.ma
index 85525db0e..ab47854da 100644
--- a/helm/software/matita/tests/paramodulation/boolean_algebra.ma
+++ b/helm/software/matita/tests/paramodulation/boolean_algebra.ma
@@ -516,5 +516,5 @@ theorem bool5:
 intros.
 unfold bool_algebra in H.
 decompose.
-auto paramodulation.
+autobatch paramodulation timeout=120.
 qed.