Attribute type added to PROD

[helm.git] / helm / dtd / cic.dtd

diff --git a/helm/dtd/cic.dtd b/helm/dtd/cic.dtd
index a0071070e3a2bc1f4d5741f9fb044dad9cbfb8e6..0e13549d167c41fbb96caee0681aec3f9e9e7062 100644 (file)
--- 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