X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2FVeloci%2FCOL050-1.p.ma;h=716626e843c933c49bb3df72d0a14d53736ac34c;hb=c0e7999b2d7cb926affcf406f33e01e74bea62d7;hp=662e3d7cd0782d990f5c3791106337db465e9950;hpb=d551bcc4761bb1148daaa1ac739fb18b3ec42da9;p=helm.git

diff --git a/matita/tests/TPTP/Veloci/COL050-1.p.ma b/matita/tests/TPTP/Veloci/COL050-1.p.ma
index 662e3d7cd..716626e84 100644
--- a/matita/tests/TPTP/Veloci/COL050-1.p.ma
+++ b/matita/tests/TPTP/Veloci/COL050-1.p.ma
@@ -47,7 +47,7 @@ theorem prove_all_fond_of_another:
 intros.
 exists[
 2:
-auto paramodulation timeout=100.
+autobatch paramodulation timeout=100.
 try assumption.
 |
 skip]