positive.xsl is now included in headercontent.xsl and no more required in

[helm.git] / helm / meta_style / list.xml

diff --git a/helm/meta_style/list.xml b/helm/meta_style/list.xml
index 4171058da022eb3c2b1071050ab62b3d8030c268..9ed07d69bf8cbd250757062b62d55ea20e56eb4c 100644 (file)
--- a/helm/meta_style/list.xml
+++ b/helm/meta_style/list.xml
@@ -4,8 +4,6 @@
 
 <OpList xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<import href="positive.xsl"/>
-
 <!-- CSC: manca
 <Operator
  name  = "CONS"