From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 30 Jun 2005 14:25:17 +0000 (+0000)
Subject: Text fixed (due to stricter semantics for naming the binders in the patterns).
X-Git-Tag: PRE_GETTER_STORAGE~90
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a3acd934eba07f24937e59c3c7a41db82d901025;p=helm.git

Text fixed (due to stricter semantics for naming the binders in the patterns).
---

diff --git a/helm/matita/tests/rewrite.ma b/helm/matita/tests/rewrite.ma
index ce1e216ad..bf4f3a6e5 100644
--- a/helm/matita/tests/rewrite.ma
+++ b/helm/matita/tests/rewrite.ma
@@ -14,7 +14,7 @@ rewrite < H in \vdash (? ? ? ((\lambda j.((\lambda w.%) ?)) ?)).
 
 rewrite < H in \vdash (? ? % ?).
 
-simplify in \vdash (? ? ? ((\lambda x.((\lambda y.%) ?)) ?)).
+simplify in \vdash (? ? ? ((\lambda _.((\lambda _.%) ?)) ?)).
 
 rewrite < H in \vdash (? ? ? (% ?)).
 simplify.