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

Variable redefined twice fixed.
---

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 372ae22c1..4d7fdaa85 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -73,11 +73,11 @@
 <xsl:template name="var_name">
  <xsl:param name="uri"/>
  <xsl:param name="string" select="&quot;&quot;"/>
-  <xsl:variable name="prefix" select="substring-before($uri, &quot; &quot;)"/>
+  <xsl:variable name="prefix0" select="substring-before($uri, &quot; &quot;)"/>
   <xsl:variable name="suffix" select="substring-after($uri, &quot; &quot;)"/> 
   <xsl:variable name="prefix">
    <xsl:call-template name="name_of_uri_bis">
-    <xsl:with-param name="uri" select="$prefix"/>
+    <xsl:with-param name="uri" select="$prefix0"/>
    </xsl:call-template>
   </xsl:variable> 
   <!--xsl:if test="string($prefix) != &quot; &quot; "-->