From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 5 Dec 2002 14:21:10 +0000 (+0000)
Subject: Bug fixed: the lhs part of an explicit name substitution was not generated
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6e854bc1fa2795fbd99a598fd7b9d22d35593faa;p=helm.git

Bug fixed: the lhs part of an explicit name substitution was not generated
as an m:ci, but as simple text ===> no m:mi and no hyperlink were generated.
---

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index 1c19b50aa..31b8c766a 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1114,7 +1114,7 @@ which generates the toplevel element (see for instance xlink) -->
         <xsl:apply-templates select="*[2]"/>
         <m:mo stretchy="false">{</m:mo>
         <xsl:for-each select="*[(position()>2) and (position() mod 2 = 1)]">
-         <xsl:apply-templates/>
+         <xsl:apply-templates select="."/>
          <m:mo stretchy="false">:=</m:mo>
          <xsl:apply-templates select="following-sibling::*[position() = 1]"/>
         </xsl:for-each>