]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/use_case/stats/extract.xsl
ocaml 3.09 transition
[helm.git] / helm / papers / use_case / stats / extract.xsl
index 74d2865e5c80b8e64b368ce65c6b53386466bd42..3704d92a485d18780703f8f11943bf470b251326 100644 (file)
@@ -29,8 +29,8 @@
   <xsl:value-of select="size"/>
   <xsl:text> </xsl:text>
   <xsl:value-of select="number(elements/total) + number(text-nodes/total)"/>
-  <!--<xsl:text> </xsl:text>
-  <xsl:value-of select="depth/max"/>-->
+  <xsl:text> </xsl:text>
+  <xsl:value-of select="depth/max"/>
   <xsl:text>
 </xsl:text>
 </xsl:template>