From e4679b76b6797b253209158fb57adba636fb899f Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 13:49:36 +0000
Subject: [PATCH] Bug fixed. The bug used to lead to divergence in certain
 cases (e.g. limit_mul).

---
 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 4c207e482..745792133 100644
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -510,7 +510,7 @@
       <m:csymbol>side_proof</m:csymbol>
      </xsl:otherwise>
     </xsl:choose>
-    <xsl:apply-templates mode="proof_transform" select="."/>
+    <xsl:apply-templates mode="proof_transform" select="$proof"/>
     <xsl:apply-templates mode="pure" select="$InnerTypes/InnerTypes/TYPE[@of=$id]/*"/>
    </m:apply>
    <!-- <xsl:apply-templates select="$proof" mode="noannot"/> -->
-- 
2.39.2