made executable again

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

diff --git a/helm/software/matita/tests/paramodulation.ma b/helm/software/matita/tests/paramodulation.ma
index 074dcc96a5e7a6b2fd20161a4e88efeca06d8253..eb2cbe17563e1573583acf276f2b31d785f4dbf1 100644 (file)
--- 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.