Minor bug fixes in the 'instantiate' element handling.

[helm.git] / helm / style / content.xsl

diff --git a/helm/style/content.xsl b/helm/style/content.xsl
index e4712613802889706116468f0ebbab55ec97ecfc..f2f7b713a5e1bef33f48793fcdc74cdbfbe81a59 100644 (file)
--- a/helm/style/content.xsl
+++ b/helm/style/content.xsl
@@ -324,7 +324,10 @@ Amaya o da chi di dovere in /really_very_local/helm/PARSER/example/.../]
 </xsl:template>
 
 <xsl:template match="instantiate" mode="pure">
-       <m:apply helm:xref="{@id}">
+       <m:apply>
+         <xsl:if test="@id">
+          <xsl:attribute name="helm:xref" select="@id"/>
+         </xsl:if>
         <m:csymbol>inst</m:csymbol>
         <xsl:apply-templates mode="noannot" select="*[1]" />
         <xsl:for-each select="arg">