]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/mmlextension.xsl
mmlextension.xsl : removed extra '>' at the end of an element
[helm.git] / 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)"/>