X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fdrop_coercions.xsl;h=9731d6601a29df990ecd9413884d5b0a33e74f2c;hb=e056db635d42bf61eeccbba580c6a0e3a78c3f01;hp=688d3974b333c921d4fa657ed8ca13c2389b6805;hpb=3000014050e8a374a7efd8d45cf0402b7a9acf51;p=helm.git

diff --git a/helm/style/drop_coercions.xsl b/helm/style/drop_coercions.xsl
index 688d3974b..9731d6601 100644
--- a/helm/style/drop_coercions.xsl
+++ b/helm/style/drop_coercions.xsl
@@ -34,7 +34,7 @@
 
 <xsl:param name="CICURI" select="''"/>
 <xsl:param name="getterURL" select="''"/>
-<xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
+<xsl:include href="getter.xsl"/>
 <xsl:include href="params.xsl"/>
 
 <!-- coercions -->
@@ -128,7 +128,3 @@
 
 
 </xsl:stylesheet>
-
-
-
-