From d2231920c2babb294474bbc9914f971c8336b3b5 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Dec 2002 17:03:12 +0000
Subject: [PATCH] Bug fixed: beta-redex transformations to LetIn were bugged
 when the lambda had two or more decls.

---
 helm/style/proofs.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 6f49a2678..69c893613 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -257,7 +257,7 @@
        </m:ci>
       </m:bvar>
       <xsl:apply-templates mode="noannot" select="*[2]"/>
-      <xsl:apply-templates mode="proof_transform" select="*[1]/target/*[1]"/>
+      <xsl:apply-templates mode="lambda_prop" select="*[1]/*[2]"/>
      </m:apply>
     </xsl:when>
     <xsl:otherwise>
-- 
2.39.2