From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Apr 2001 14:24:26 +0000 (+0000)
Subject: pure ==> noannot in CASE's branches
X-Git-Tag: v0_1_2~34
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f4b50fddad3bd0cfec71f98cad53220dfd248522;p=helm.git

pure ==> noannot in CASE's branches
---

diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index 2a0a252e3..8db72e23e 100644
--- a/helm/style/params.xsl
+++ b/helm/style/params.xsl
@@ -324,7 +324,8 @@
 <!-- Mancava modalita': con target=1 posso provenire sia da un oggetto che da un termine -->
         <xsl:choose>
         <xsl:when test="string($binder) = &quot;LAMBDA&quot;">
-         <xsl:apply-templates select="." mode="pure"/>
+	 <!-- CSC: era pure, ma deve essere noannot. Giusto, Irene? -->
+         <xsl:apply-templates select="." mode="noannot"/>
         </xsl:when>
         <xsl:otherwise>
          <xsl:apply-templates select="."/>