Last commit before major modifications to do.

[helm.git] / helm / style / proofs.xsl

diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl
index 69c8936130bcaf605a2f28956b438226c9cacec5..dbcfabaa31ae67ac9ba1a47771de7a024e000ec6 100644 (file)
--- a/helm/style/proofs.xsl
+++ b/helm/style/proofs.xsl
@@ -43,7 +43,6 @@
 
 <!-- Proof objects -->
 
-<!-- <xsl:key name="typeid" use="@of" match="TYPE"/> -->
 <xsl:key name="typeid" use="@of" match="TYPE"/>
 
 <!-- These elements do not have inner type -->
@@ -394,7 +393,6 @@
    </xsl:choose>
 </xsl:template>
 
-
 <xsl:template name="gen_let">
  <xsl:param name="init_pos" select="1"/>
  <xsl:param name="from" select="0"/>