X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fxslt%2FmetadataControl.xsl;h=c893437b3bbc860168435e36bf24853a42ec3904;hb=4efbf579e9692e25b08b4f363356d52292c2bd97;hp=9960ab776b3421bd86630fca5b1cb62d8b0b443b;hpb=6eda541021adb730255b7025d937874ef8886c32;p=helm.git

diff --git a/helm/on-line/xslt/metadataControl.xsl b/helm/on-line/xslt/metadataControl.xsl
index 9960ab776..c893437b3 100644
--- a/helm/on-line/xslt/metadataControl.xsl
+++ b/helm/on-line/xslt/metadataControl.xsl
@@ -16,21 +16,17 @@
 <xsl:template match="InductiveDefinition">
  <xsl:for-each select="InductiveType">
   <xsl:variable name="CICURIInductiveType" select="concat($CICURI,'#xpointer(1/',position())"/>
-  <xsl:variable name="RDFURIInductiveType" select="concat($CICURI,',',position())"/>
   <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
   <xsl:call-template name="makelink">
    <xsl:with-param name="name" select="@name"/>
    <xsl:with-param name="CICURI" select="concat($CICURIInductiveType,')')"/>
-   <xsl:with-param name="RDFURI" select="$RDFURIInductiveType"/>
   </xsl:call-template>
   <xsl:for-each select="Constructor">
    <xsl:variable name="CICURIConstructor" select="concat($CICURIInductiveType,'/',position(),')')"/>
-   <xsl:variable name="RDFURIConstructor" select="concat($RDFURIInductiveType,',',position())"/>
    <h3>Metadata related to <xsl:value-of select="@name"/>:</h3>
    <xsl:call-template name="makelink">
     <xsl:with-param name="name" select="@name"/>
     <xsl:with-param name="CICURI" select="$CICURIConstructor"/>
-    <xsl:with-param name="RDFURI" select="$RDFURIConstructor"/>
    </xsl:call-template>
   </xsl:for-each>
  </xsl:for-each>
@@ -41,7 +37,6 @@
   <xsl:call-template name="makelink">
    <xsl:with-param name="name" select="$CICURI"/>
    <xsl:with-param name="CICURI" select="$CICURI"/>
-   <xsl:with-param name="RDFURI" select="$CICURI"/>
   </xsl:call-template>
 </xsl:template>