X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fmmlnotation.xsl;h=babc7f41db0ff8e37626b736269fd2f05e406236;hb=c8c75f895d51cfbc257260859653a68f74117179;hp=3ebf23ba7d41069148733fde635a124e6054ea95;hpb=829cefe178cd633bb0c6deb18b29bba3e5e3bc16;p=helm.git

diff --git a/helm/style/mmlnotation.xsl b/helm/style/mmlnotation.xsl
index 3ebf23ba7..babc7f41d 100644
--- a/helm/style/mmlnotation.xsl
+++ b/helm/style/mmlnotation.xsl
@@ -36,7 +36,7 @@
 <xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:m="http://www.w3.org/1998/Math/MathML">
 
-<xsl:import href="mmlctop.xsl-0.14"/>
+<xsl:import href="mmlctop.xsl"/>
 
 
 <!-- *********************************** -->