ocaml 3.09 transition

[helm.git] / helm / dtd / cicobject.dtd

diff --git a/helm/dtd/cicobject.dtd b/helm/dtd/cicobject.dtd
index d78251c1d99b25c2dc1ef7745aa6ee66a3cd783f..10f001df645f8e0ea6bc1c6e585a6ad3f15f96c5 100644 (file)
--- a/helm/dtd/cicobject.dtd
+++ b/helm/dtd/cicobject.dtd
@@ -90,7 +90,9 @@
 <!ATTLIST Param
           name CDATA #REQUIRED>
 
-<!ELEMENT Params (#PCDATA)*>
+<!ELEMENT Params (param)*>
+
+<!ELEMENT param %term;>
 
 <!ELEMENT Decl %term;>
 <!ATTLIST Decl