pure ==> noannot in CASE's branches

diff --git a/helm/style/params.xsl b/helm/style/params.xsl
index 2a0a252e3bb3218beefee7596a09d9542fa48373..8db72e23ee15d54f40ce42b9b59a98513286ef9a 100644 (file)
--- 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="."/>