From e78f0dbe755c21981753a0f93d1dc74cd89c6152 Mon Sep 17 00:00:00 2001
From: Matteo Selmi <matteo.selmi@mail.polimi.it>
Date: Wed, 30 Oct 2002 14:22:19 +0000
Subject: [PATCH] Correct CurrentProof

---
 helm/style/objcontent.xsl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 5aaebe592..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="*"/>
+          <xsl:copy-of select="@name"/>
           <xsl:attribute name="helm:xref">
            <xsl:value-of select="@id"/>
           </xsl:attribute>
-- 
2.39.2