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

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