From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 3 Nov 2000 09:20:12 +0000 (+0000)
Subject: FIX body bug fixed
X-Git-Tag: nogzip~218
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=360b47cdbb8a0b00a3beb4ca3cd509bee0001791;p=helm.git

FIX body bug fixed
---

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 24b97e6e6..ae4a1a812 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -240,7 +240,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>fix</m:csymbol>
      <m:ci><xsl:value-of select="FixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>
 
@@ -249,7 +249,7 @@ della rappresentazione interna.
      <xsl:variable name="findex"><xsl:value-of select="@noFun"/></xsl:variable>
      <m:csymbol>cofix</m:csymbol>
      <m:ci><xsl:value-of select="CofixFunction[position()=number($findex)+1]/@name"/></m:ci>
-     <xsl:apply-templates mode="noannot" select="*"/>
+     <xsl:apply-templates mode="pure" select="*"/>
     </m:apply>
 </xsl:template>