From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 16 Jul 2001 12:38:10 +0000 (+0000)
Subject: Two parameters used but not declared. Fixed.
X-Git-Tag: v0_1_3~111
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d42f916052e67304e8b46e537b9a4bbaf2c2607e;p=helm.git

Two parameters used but not declared. Fixed.
---

diff --git a/helm/style/links_library.xsl b/helm/style/links_library.xsl
index c58425a9e..0f6613c28 100644
--- a/helm/style/links_library.xsl
+++ b/helm/style/links_library.xsl
@@ -336,6 +336,7 @@
 
 <xsl:template name="makeURL4InnerTypes">
 <xsl:param name="uri" select="''"/>
+ <xsl:variable name="uri_after_sharp" select="substring-after($uri,'#')"/>
  <xsl:variable name="cleanuri">
   <xsl:choose>
    <xsl:when test="$uri_after_sharp">
diff --git a/helm/style/objtheorycontent.xsl b/helm/style/objtheorycontent.xsl
index 62c88e078..354449962 100644
--- a/helm/style/objtheorycontent.xsl
+++ b/helm/style/objtheorycontent.xsl
@@ -38,6 +38,7 @@
 
 <xsl:param name="type" select="'standalone'"/>
 <xsl:param name="getterURL" select="'http://localhost:8081/'"/>
+<xsl:param name="CICURI" select="''"/>
 <xsl:variable name="absPath"><xsl:value-of select="$getterURL"/>getxml?uri=</xsl:variable>
 
 <!-- CIC DEFINITION -->