X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fcontentlib.xsl;h=65e08c683f7976c04edfd6f34490596e3a87ff41;hb=0f23d999f409f3fed9ae6b7d6c45404e9818eab4;hp=e923aa1c8309ba7af124a1bf8f0340d2f1154faa;hpb=f2cebe226562e9b3a6e4802a3b5ff6b3b9d9b277;p=helm.git

diff --git a/helm/style/contentlib.xsl b/helm/style/contentlib.xsl
index e923aa1c8..65e08c683 100644
--- a/helm/style/contentlib.xsl
+++ b/helm/style/contentlib.xsl
@@ -31,8 +31,7 @@
 
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:m="http://www.w3.org/1998/Math/MathML"
-                              xmlns:helm="http://www.cs.unibo.it/helm"
-                              xmlns:xlink="http://www.w3.org/1999/xlink">
+                              xmlns:helm="http://www.cs.unibo.it/helm">
 
 <xsl:template name="out-mml-op"> <!-- outputs MML nodes for operators -->
    <xsl:param name="arity"/>     <!-- operator arity                  -->