From 570751970ec54a960f588cd023f2e74300e3d940 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 7 Dec 2000 10:53:29 +0000
Subject: [PATCH] Attribute type added to PROD

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

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index a0071070e..0e13549d1 100644
--- a/helm/dtd/cic.dtd
+++ b/helm/dtd/cic.dtd
@@ -79,7 +79,8 @@
 
 <!ELEMENT PROD (source,target)>
 <!ATTLIST PROD
-          id ID #REQUIRED>
+          id   ID     #REQUIRED
+          type %sort; #REQUIRED>
 
 <!ELEMENT CAST (term,type)>
 <!ATTLIST CAST
-- 
2.39.2