X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Ftests%2Fbool.ma;h=2b7f815b98afb95e5fb19c90ffe2e6b85a1b52a5;hb=4d23367f20acec9c043c6b81b660ea65ff6f155e;hp=285ff99162b38eec11b1d02a432e69e8909c1649;hpb=cc91f49b0803462e9a84d491809db02916caa401;p=helm.git

diff --git a/helm/software/matita/tests/bool.ma b/helm/software/matita/tests/bool.ma
index 285ff9916..2b7f815b9 100644
--- a/helm/software/matita/tests/bool.ma
+++ b/helm/software/matita/tests/bool.ma
@@ -629,5 +629,5 @@ theorem bool5:
 intros.auto paramodulation.
 qed.
 
-*)
+*)*)