X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fparamodulation%2Fboolean_algebra.ma;fp=helm%2Fsoftware%2Fmatita%2Ftests%2Fparamodulation%2Fboolean_algebra.ma;h=ab47854da09c2170a38e1863110814c694d24ecd;hb=c497867b0452f544661fd73b7f5dc8afbe8460e4;hp=85525db0ed58dfdeb1bfa4eefcfced94801babf5;hpb=03c219fd478b4160ef1bc0b9e66520afeb6394ac;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.