X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fstyle%2Fobjcontent.xsl;h=405529785fea3c6db83485369e4eb5837a11f832;hb=0c62b48dd8d961279e780f6fbc2a915d18b77b92;hp=064d0ca9a95b24676219708dd0ba560ce813e02e;hpb=d891eccad8306283c5b1e6c1e9a8c56b2ebd5309;p=helm.git

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 064d0ca9a..405529785 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -171,7 +171,7 @@
       <Conjecture no="{@no}" helm:xref="{@id}">
         <xsl:for-each select="*">
          <xsl:copy>
-          <xsl:copy-of select="@of"/>
+          <xsl:copy-of select="@name"/>
           <xsl:attribute name="helm:xref">
            <xsl:value-of select="@id"/>
           </xsl:attribute>