From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 19 Jul 2005 11:46:10 +0000 (+0000)
Subject: patched
X-Git-Tag: V_0_7_2~175
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b42c305a6f7dd0d0495afd442af0653df8f35d85;p=helm.git

patched
---

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