X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_reals.xsl;h=de3196b128118af37f2538009623f992a92449a5;hb=26f5337108946df050f07c68ebe9bc07b1fde173;hp=eb04dbb6f8dd58cff8f4f68d57e13e31b07d268b;hpb=f079a5948394ada2f2aba69270869058111bb3fe;p=helm.git

diff --git a/helm/style/html_reals.xsl b/helm/style/html_reals.xsl
index eb04dbb6f..de3196b12 100644
--- a/helm/style/html_reals.xsl
+++ b/helm/style/html_reals.xsl
@@ -32,8 +32,6 @@
 <!-- HELM Group: Asperti, Padovani, Sacerdoti, Schena                      -->
 <!--***********************************************************************--> 
 
-<xsl:variable name="absPath">http://localhost:8081/getciconly?uri=</xsl:variable>
-
 <!-- LIMIT -->
 
 <xsl:template match="m:apply[m:limit]">