Some spaces at the content level eliminated.

[helm.git] / helm / style / objcontent.xsl
diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl

index 112e73ab1255103e94bd414c86b27a9cb31e7208..2e70505d07b56678f2c39c59aafe20df21fce07a 100644 (file)
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -48,10 +48,10 @@
        </xsl:otherwise>
       </xsl:choose> -->
       <body>
-      <xsl:apply-templates select="body"/>
+      <xsl:apply-templates select="body/*"/>
       </body>
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </Definition> 
  </xsl:template>
@@ -64,7 +64,7 @@
        </Params>
       </xsl:if>
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </Axiom> 
  </xsl:template>
@@ -77,10 +77,10 @@
        </Conjecture>
       </xsl:for-each>
       <body>
-       <xsl:apply-templates select="body"/>
+       <xsl:apply-templates select="body/*"/>
       </body>
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </CurrentProof> 
  </xsl:template>
@@ -121,7 +121,7 @@
  <xsl:template match="Variable" mode="noannot"> 
      <Variable name="{@name}" helm:xref="{@id}">
       <type>
-       <xsl:apply-templates select="type"/>
+       <xsl:apply-templates select="type/*"/>
       </type>
      </Variable> 
  </xsl:template>