X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2FVeloci%2FCOL021-1.p.ma;h=6125379462a0a143b2abbed42046bc3b0be06a1c;hb=c0e7999b2d7cb926affcf406f33e01e74bea62d7;hp=144fac75baa5e964c31ce4dc40b4aa6a8c64dfcf;hpb=d551bcc4761bb1148daaa1ac739fb18b3ec42da9;p=helm.git

diff --git a/matita/tests/TPTP/Veloci/COL021-1.p.ma b/matita/tests/TPTP/Veloci/COL021-1.p.ma
index 144fac75b..612537946 100644
--- a/matita/tests/TPTP/Veloci/COL021-1.p.ma
+++ b/matita/tests/TPTP/Veloci/COL021-1.p.ma
@@ -40,7 +40,7 @@ theorem prove_fixed_point:
 intros.
 exists[
 2:
-auto paramodulation timeout=100.
+autobatch paramodulation timeout=100.
 try assumption.
 |
 skip]