From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Dec 2002 11:05:42 +0000 (+0000)
Subject: Variable redefined twice fixed.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6787d3fec0b1a3b2b92bb105d0cd1c67c1679851;p=helm.git

Variable redefined twice fixed.
---

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 4d7fdaa85..5b243e783 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -81,16 +81,16 @@
    </xsl:call-template>
   </xsl:variable> 
   <!--xsl:if test="string($prefix) != &quot; &quot; "-->
-   <xsl:variable name="string" select="concat($string,', ', $prefix)"/>
+   <xsl:variable name="string1" select="concat($string,', ', $prefix)"/>
   <!--/xsl:if-->
   <xsl:choose>
    <xsl:when test="$suffix = &quot;&quot;">
-   <xsl:value-of select="substring-after(concat($string, ' '),',')"/>
+   <xsl:value-of select="substring-after(concat($string1, ' '),',')"/>
    </xsl:when>
    <xsl:otherwise>
    <xsl:call-template name="var_name">
     <xsl:with-param name="uri" select="$suffix"/>
-    <xsl:with-param name="string" select="$string"/>
+    <xsl:with-param name="string" select="$string1"/>
    </xsl:call-template>
    </xsl:otherwise>
   </xsl:choose>