Declaration and Definition renamed to Decl and Def because

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

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index aef9daa6b666828280ec4a2b6bf1b8302c37f74b..898e41a985e448066d0c053df8656068ac47799f 100644 (file)
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -56,7 +56,7 @@
 
 <xsl:template match="Sequent">  <!-- For Sequents there are no annotations --> 
     <Sequent helm:xref="{@id}">
-     <xsl:for-each select="Declaration|Definition">
+     <xsl:for-each select="Decl|Def">
       <xsl:copy>
        <xsl:attribute name="name">
         <xsl:value-of select="@name"/>