From d8e6e320b85cef6ff4dd70ab74bd6bc9398b734f Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 25 Oct 2002 16:41:41 +0000
Subject: [PATCH] New attribute @params for variables.

---
 helm/dtd/cic.dtd | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index 164945d2a..8b46087d2 100644
--- a/helm/dtd/cic.dtd
+++ b/helm/dtd/cic.dtd
@@ -43,8 +43,9 @@
 
 <!ELEMENT Variable (body?,type)>
 <!ATTLIST Variable
-          name CDATA #REQUIRED
-          id   ID    #REQUIRED>
+          name   CDATA #REQUIRED
+          params CDATA #REQUIRED
+          id     ID    #REQUIRED>
 
 <!ELEMENT Sequent %sequent;>
 <!ATTLIST Sequent
-- 
2.39.2