From f4b50fddad3bd0cfec71f98cad53220dfd248522 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Apr 2001 14:24:26 +0000
Subject: [PATCH] pure ==> noannot in CASE's branches

---
 helm/style/params.xsl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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="."/>
-- 
2.39.2