From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 2 Oct 2006 11:42:43 +0000 (+0000)
Subject: added missing *)
X-Git-Tag: make_still_working~6822
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d225d82a5c81bf88cb465664a9f8d456f0300196;p=helm.git

added missing *)
---

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.
 
-*)
+*)*)