auto -> autobatch

[helm.git] / helm / software / matita / tests / paramodulation / boolean_algebra.ma

diff --git a/helm/software/matita/tests/paramodulation/boolean_algebra.ma b/helm/software/matita/tests/paramodulation/boolean_algebra.ma
index 85525db0ed58dfdeb1bfa4eefcfced94801babf5..ab47854da09c2170a38e1863110814c694d24ecd 100644 (file)
--- 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.