From b42c305a6f7dd0d0495afd442af0653df8f35d85 Mon Sep 17 00:00:00 2001
From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 19 Jul 2005 11:46:10 +0000
Subject: [PATCH] patched

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

diff --git a/helm/matita/tests/fguidi.ma b/helm/matita/tests/fguidi.ma
index 77d3b44bf..7681a7ad4 100644
--- a/helm/matita/tests/fguidi.ma
+++ b/helm/matita/tests/fguidi.ma
@@ -93,7 +93,7 @@ qed.
 
 (*
 theorem le_trans: \forall x,y. (le x y) \to \forall z. (le y z) \to (le x z).
-intros 1. elim x; clear H. (* clear x *) 
+intros 1. elim x; clear H. clear x. 
 auto.
 fwd H1 [H]. decompose H.
 *)
-- 
2.39.2