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

diff --git a/helm/style/inductive.xsl b/helm/style/inductive.xsl
index ae225272d..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