X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fhtml_set.xsl;h=78f4a5b9ea98e0c01ed0b1c9d7bd8c40b3fc2dbb;hb=083c36a4acd76127530b9af3d4c6c311f447d79b;hp=cafdbefc40cf92cc9fcdafe06ebe6b2dce38e49f;hpb=f079a5948394ada2f2aba69270869058111bb3fe;p=helm.git

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