From 06699deb3cda1102045062c5e54ac3de11e0c565 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Fri, 27 Jul 2001 10:06:04 +0000
Subject: [PATCH] Modified Files: 1) mmlextension.xsl: m:xref fixed

---
 helm/style/mmlextension.xsl | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/helm/style/mmlextension.xsl b/helm/style/mmlextension.xsl
index c33176a71..75c8a745b 100644
--- a/helm/style/mmlextension.xsl
+++ b/helm/style/mmlextension.xsl
@@ -1712,7 +1712,12 @@ which generates the toplevel element (see for instance xlink) -->
 
 <xsl:template match="m:lambda">
     <xsl:variable name="charlength"><xsl:apply-templates select="*[position()=1]" mode="charcount"/></xsl:variable>
-    <m:mrow m:xref="{@id}">
+    <m:mrow>
+     <xsl:if test="@id">
+      <xsl:attribute name="m:xref">
+       <xsl:value-of select="@id"/>
+      </xsl:attribute>
+     </xsl:if>
      <xsl:choose>
      <xsl:when test="$charlength >= $framewidth">
       <m:mtable align="baseline 1" equalrows="false" columnalign="left">
-- 
2.39.2