From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 13:49:36 +0000 (+0000)
Subject: Bug fixed. The bug used to lead to divergence in certain cases (e.g. limit_mul).
X-Git-Tag: mlminidom_0_2_2~109
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e4679b76b6797b253209158fb57adba636fb899f;p=helm.git

Bug fixed. The bug used to lead to divergence in certain cases (e.g. limit_mul).
---

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"/> -->