From: Pietro Di Lena <pietro.dilena@unibo.it>
Date: Mon, 25 Nov 2002 17:54:20 +0000 (+0000)
Subject: Now value returned by get_no_params function is a number (not a string)
X-Git-Tag: V_0_0_6~61
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2bd4dfeca3cfce47a0471f16d1ad5921cb49c993;p=helm.git

Now value returned by get_no_params function is a number (not a string)
---

diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index b5b7f9b88..d703bfe06 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -163,11 +163,14 @@
       </xsl:call-template>
      </xsl:variable>
      <xsl:choose>
-      <xsl:when test="$offset > 0">
-       <xsl:variable name="params"> 
-        <xsl:variable name="second_url"><xsl:call-template name="URLofURI4getter"><xsl:with-param name="uri" select="$second_uri"/></xsl:call-template></xsl:variable>
-        <xsl:value-of 
-            select="document($second_url)/*/@params"/>
+	  <xsl:when test="$offset > 0">
+	   <xsl:variable name="params"> 
+        <xsl:variable name="second_url">
+			<xsl:call-template name="URLofURI4getter">
+				<xsl:with-param name="uri" select="$second_uri"/>
+			</xsl:call-template>
+		</xsl:variable>
+        <xsl:value-of select="document($second_url)/*/@params"/>
        </xsl:variable>
        <xsl:variable name="minimum">
         <xsl:call-template name="min">
@@ -176,9 +179,7 @@
         </xsl:call-template>
        </xsl:variable>
        <xsl:choose>
-        <xsl:when test="0 > $minimum">
-         0
-        </xsl:when>
+        <xsl:when test="0 > $minimum">0</xsl:when>
         <xsl:otherwise>
          <xsl:variable name="relevant_params">
           <!-- the blank after : in the next line is essential -->
@@ -197,13 +198,11 @@
            <xsl:with-param name="counter" select="0"/>
           </xsl:call-template>
          </xsl:variable>
-         <xsl:value-of select="$tokens - $separators"/>
+         <xsl:value-of select="number($tokens - $separators)"/>
         </xsl:otherwise>
        </xsl:choose>
       </xsl:when>
-      <xsl:otherwise>
-      0
-      </xsl:otherwise>
+      <xsl:otherwise>0</xsl:otherwise>
      </xsl:choose>
 </xsl:template>