]> matita.cs.unibo.it Git - helm.git/commitdiff
mmlextension.xsl : removed extra '>' at the end of an element
authorLuca Padovani <luca.padovani@unito.it>
Wed, 31 Jan 2001 14:18:11 +0000 (14:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 31 Jan 2001 14:18:11 +0000 (14:18 +0000)
helm/style/mmlextension.xsl

index a22dc0dd332d56fcc2c4fcf3ee480792d3017c03..9113ba51c2a1643c2a0b3aee6e53a82d32c921ab 100644 (file)
      <xsl:otherwise>
       <xsl:value-of select="number($siblength)"/>
      </xsl:otherwise>
-     </xsl:choose>>
+     </xsl:choose>
     </xsl:when>
     <xsl:otherwise>
      <xsl:value-of select="number($childlength)"/>