X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fobjcontent.xsl;h=8de642f1bb424996a40adf7ce6d2c913a50d8292;hb=083c36a4acd76127530b9af3d4c6c311f447d79b;hp=4ab19c854ba8aa8f59bd7a162e82f8e999e9b3d7;hpb=f079a5948394ada2f2aba69270869058111bb3fe;p=helm.git

diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl
index 4ab19c854..8de642f1b 100644
--- a/helm/style/objcontent.xsl
+++ b/helm/style/objcontent.xsl
@@ -181,7 +181,7 @@
        </xsl:when>
        <xsl:otherwise> 
         <Param name="{target/@binder}">
-         <xsl:apply-templates select="source" mode="noannot"/>
+         <xsl:apply-templates select="source"/>
         </Param>
        </xsl:otherwise>
        </xsl:choose>
@@ -206,7 +206,7 @@
      <xsl:when test="($target = 1) and ($noparams != 0)">
       <m:apply>
       <m:csymbol>app</m:csymbol>
-      <xsl:apply-templates select="." mode="noannot"/>
+      <xsl:apply-templates select="."/>
       <xsl:call-template name="printparam"><xsl:with-param name="noleft" select="$noparams"/></xsl:call-template>
       </m:apply>
      </xsl:when>
@@ -217,7 +217,7 @@
       </xsl:when>
       <xsl:otherwise>
        <xsl:if test="$target = 1">
-        <xsl:apply-templates select="." mode="noannot"/>
+        <xsl:apply-templates select="."/>
        </xsl:if>
       </xsl:otherwise>
       </xsl:choose>