From d225d82a5c81bf88cb465664a9f8d456f0300196 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 *)

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

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