Modified Files:

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

diff --git a/helm/style/ring.xsl b/helm/style/ring.xsl
index 1aab092c55c083a31cc198871c0e253515df1ca1..d57723ea8bb6e08326f2e3988e83be6d689040b5 100644 (file)
--- 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>