X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Ftests%2Fclear.ma;h=9f1655b597fc6da3dc6b763334075a4e7ae9eb12;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=71457ae2c295e980bf85673bc3b25b8fefa07a57;hpb=650e3b3c9ff0b9cafb76a0edf8139a53446937ba;p=helm.git

diff --git a/helm/matita/tests/clear.ma b/helm/matita/tests/clear.ma
index 71457ae2c..9f1655b59 100644
--- a/helm/matita/tests/clear.ma
+++ b/helm/matita/tests/clear.ma
@@ -22,9 +22,9 @@ theorem stupid:
   \forall a: True.
   \forall b: 0 = 0.
   0 = 0.
-intros 1 [H] .
+intros 1 (H).
 clear H.
-intros 1 [H].
+intros 1 (H).
 exact H.
 qed.