]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/style/rootcontent.xsl
Last commit before major modifications to do.
[helm.git] / helm / style / rootcontent.xsl
index 5d2eb2e4c542669dfebd0b42d250e48b88371cd1..addef615b34b344e6694704696f5aafa5d95e759 100644 (file)
@@ -77,7 +77,7 @@
 
 <!-- WARNING: Using lazy evaluation: $CICURI.* may not exist, but -->
 <!-- document() is called only by need!!!                         -->
-<xsl:variable name="InnerTypes" select="document($InnerTypesUrl)"/> 
+<xsl:variable name="InnerTypes" select="document($InnerTypesUrl)"/>
 <xsl:variable name="CICAnnotations" select="document($AnnotationsUrl)"/> 
 
 <xsl:include href="headercontent.xsl"/>