]> matita.cs.unibo.it Git - helm.git/commitdiff
Bug fixed: unbound variable.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 09:03:46 +0000 (09:03 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 12 Nov 2001 09:03:46 +0000 (09:03 +0000)
helm/style/mmlctop.xsl-0.14

index f1ffd20fa9eb547bbb42b10ef34ea63d43e77907..be41c5be300c5eeeb5e5229a65019583bea9e639 100755 (executable)
@@ -538,7 +538,7 @@ HELM: Now is: -->
    <xsl:otherwise>
     <xsl:choose>
      <xsl:when test="child::text() and not(*[1])">
-      <m:mn m:xref="{$id}"> <xsl:apply-templates mode = "semantics"/> </m:mn>
+      <m:mn m:xref="{@id}"> <xsl:apply-templates mode = "semantics"/> </m:mn>
      </xsl:when>
      <xsl:otherwise>
       <xsl:variable name="id" select="@id"/>