From f9f18c438f3fdf8b9077a4458d20551f296a37a8 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 6 Dec 2002 14:57:28 +0000
Subject: [PATCH] ...

---
 helm/style/content.xsl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index 1be668bb0..001ff876d 100644
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -327,7 +327,9 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 <xsl:template match="instantiate" mode="pure">
 	<m:apply>
          <xsl:if test="@id">
-          <xsl:attribute name="helm:xref" select="@id"/>
+          <xsl:attribute name="helm:xref">
+	   <xsl:value-of select="@id"/>
+          </xsl:attribute>
          </xsl:if>
 	 <m:csymbol>inst</m:csymbol>
 	 <xsl:apply-templates mode="noannot" select="*[1]" />
-- 
2.39.2