From 6e854bc1fa2795fbd99a598fd7b9d22d35593faa Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 5 Dec 2002 14:21:10 +0000
Subject: [PATCH] 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.

---
 helm/style/mmlextension.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>
-- 
2.39.2