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) = "LAMBDA"">
- <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