X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fring.xsl;h=d57723ea8bb6e08326f2e3988e83be6d689040b5;hb=10434de696a721d9ea1b4eddc4169d601ee671e5;hp=1aab092c55c083a31cc198871c0e253515df1ca1;hpb=f2cebe226562e9b3a6e4802a3b5ff6b3b9d9b277;p=helm.git

diff --git a/helm/style/ring.xsl b/helm/style/ring.xsl
index 1aab092c5..d57723ea8 100644
--- a/helm/style/ring.xsl
+++ b/helm/style/ring.xsl
@@ -2,8 +2,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 match="APPLY[CONST/@uri='cic:/Coq/ring/Ring_abstract/abstract_rings/apolynomial_normalize_ok.con']" mode="pure">
    <xsl:choose>