X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flink.xsl;h=e3568a18ffb386ca03acc26471127570a4115197;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=ba22dea1225fe75d7c735a0e34980645e013abec;hpb=8d36e6731e092257dc4ffe7394d40cb615926fe6;p=helm.git

diff --git a/helm/style/link.xsl b/helm/style/link.xsl
index ba22dea12..e3568a18f 100644
--- a/helm/style/link.xsl
+++ b/helm/style/link.xsl
@@ -48,8 +48,8 @@ xlink:href) -->
 <xsl:template match = "*" mode="semantics">
   <xsl:copy>
    <xsl:copy-of select="@*"/>
-   <xsl:if test="@m:xref">
-    <xsl:variable name="cnode" select="key('id',@m:xref)"/>
+   <xsl:if test="@xref">
+    <xsl:variable name="cnode" select="key('id',@xref)"/>
     <xsl:if test="$cnode/@definitionURL"> 
      <xsl:attribute name="xlink:href">
       <xsl:call-template name="makeURL"><xsl:with-param name="uri" select="$cnode/@definitionURL"/></xsl:call-template>
@@ -116,4 +116,3 @@ xlink:href) -->
 </xsl:template>
 
 </xsl:stylesheet> 
-