]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/links_library.xsl
Two parameters used but not declared. Fixed.
[helm.git] / helm / style / links_library.xsl
index c58425a9eb230af033930ecb86adf7f7d844d59b..0f6613c28ee30dde5181cb72a44f9b1288f8228b 100644 (file)
 
 <xsl:template name="makeURL4InnerTypes">
 <xsl:param name="uri" select="''"/>
+ <xsl:variable name="uri_after_sharp" select="substring-after($uri,'#')"/>
  <xsl:variable name="cleanuri">
   <xsl:choose>
    <xsl:when test="$uri_after_sharp">