From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 09:03:46 +0000 (+0000)
Subject: Bug fixed: unbound variable.
X-Git-Tag: uwobo_pre_ocaml~5
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6d5e18caeebeade0713a73adde2265ff89a21428;p=helm.git

Bug fixed: unbound variable.
---

diff --git a/helm/style/mmlctop.xsl-0.14 b/helm/style/mmlctop.xsl-0.14
index f1ffd20fa..be41c5be3 100755
--- a/helm/style/mmlctop.xsl-0.14
+++ b/helm/style/mmlctop.xsl-0.14
@@ -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"/>