]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/drop_coercions.xsl
* getter.xsl added
[helm.git] / helm / style / drop_coercions.xsl
index a259955dd305a38584e7909023846835fc6962ad..9731d6601a29df990ecd9413884d5b0a33e74f2c 100644 (file)
@@ -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 -->