X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Flink.xsl;h=e3568a18ffb386ca03acc26471127570a4115197;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=48bb02b666624de7adceac129959f6b0575518aa;hpb=5d9c64e007c6eff9447b2ef67d2a680c86c2775d;p=helm.git

diff --git a/helm/style/link.xsl b/helm/style/link.xsl
index 48bb02b66..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>