X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fexpandobj.xsl;h=6c61823d871e180fee70c9a781984e523981da90;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=2171846e31e9bdc12e9d194ee18faebab12d0659;hpb=ce56bfc29034be5add28ef28007f2598d9030ad2;p=helm.git

diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl
index 2171846e3..6c61823d8 100644
--- a/helm/style/expandobj.xsl
+++ b/helm/style/expandobj.xsl
@@ -29,7 +29,7 @@
 <!-- First draft: March 08 2001, Irene Schena                              -->
 <!--***********************************************************************--> 
 
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory">
 
 <!--******************************************************************-->
@@ -53,6 +53,7 @@
    <xsl:copy>
     <xsl:copy-of select="@*"/>
     <xsl:copy-of select="document(string($url))"/>
+    <xsl:value-of select="$url"/>
    </xsl:copy>
 </xsl:template>