X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fparamodulation.ma;h=eb2cbe17563e1573583acf276f2b31d785f4dbf1;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=074dcc96a5e7a6b2fd20161a4e88efeca06d8253;hpb=5c1b44dfefa085fbb56e23047652d3650be9d855;p=helm.git

diff --git a/helm/software/matita/tests/paramodulation.ma b/helm/software/matita/tests/paramodulation.ma
index 074dcc96a..eb2cbe175 100644
--- a/helm/software/matita/tests/paramodulation.ma
+++ b/helm/software/matita/tests/paramodulation.ma
@@ -28,5 +28,5 @@ qed.
 
 theorem para2:
   \forall n:nat. n + n = 2 * n.
-intros. autobatch paramodulation.
+intros. autobatch paramodulation library.
 qed.