From 57f19c7a57a0422a5217a8021ea73d805bd5ba1e Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Mon, 2 Oct 2006 11:42:43 +0000
Subject: [PATCH] added missing *)

---
 matita/tests/bool.ma | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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