X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Finductive.xsl;h=83569d751660cf0008629f29c8986d149b2f0441;hb=0de1b960f42ac368414b7405a79e7933445ee8af;hp=f9b535f1e72e43a60299b80ed5da5494d51064ca;hpb=c5d44ddea495d6f20c05267e0ebd158972a21987;p=helm.git

diff --git a/helm/style/inductive.xsl b/helm/style/inductive.xsl
index f9b535f1e..83569d751 100644
--- a/helm/style/inductive.xsl
+++ b/helm/style/inductive.xsl
@@ -43,8 +43,9 @@
  <xsl:param name="section_params" select="0"/>
  <!-- expected_args_type contains the types of the arguments expected by
       the induction principle -->
+ <xsl:variable name="InductiveTypeUrl"><xsl:call-template name="URLofURI4getter"><xsl:with-param name="uri" select="*[1]/@uri"/></xsl:call-template></xsl:variable>
  <xsl:variable name="expected_args_types" 
-	select="document(concat(string($absPath),*[1]/@uri))/Definition/type//PROD[not(ancestor::source)]/source/*[1]"/>
+	select="document($InductiveTypeUrl)/Definition/type//PROD[not(ancestor::source)]/source/*[1]"/>
  <xsl:variable name="no_expected_args" select="count($expected_args_types)"/>
  <xsl:variable name="actual_arguments" select="*[position()>(1+$section_params)]"/>
  <!-- First check that the induction principle is applied to the
@@ -403,6 +404,4 @@
  </xsl:choose>
 </xsl:template>
 
-
 </xsl:stylesheet>
-