From 638ea30787cd4b14a27fabac36c1319bc6ab14b7 Mon Sep 17 00:00:00 2001
From: Irene Schena <irene.schena@unibo.it>
Date: Wed, 17 Jan 2001 11:23:12 +0000
Subject: [PATCH] Modified Files: 1) cicobject.dtd: added body? to Variable

---
 helm/dtd/cicobject.dtd | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/dtd/cicobject.dtd b/helm/dtd/cicobject.dtd
index a6b6155b1..9514103e4 100644
--- a/helm/dtd/cicobject.dtd
+++ b/helm/dtd/cicobject.dtd
@@ -62,7 +62,7 @@
 <!ATTLIST InductiveDefinition
           xmlns:m    CDATA      #REQUIRED>
 
-<!ELEMENT Variable (type)>
+<!ELEMENT Variable (body?,type)>
 <!ATTLIST Variable
           name CDATA #REQUIRED
           xmlns:m    CDATA      #REQUIRED>
-- 
2.39.2