X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fdtd%2Fcicobject.dtd;h=9514103e45339159e9a2aa7a11db719a2a660879;hb=4e8b137b58ec6763785b8ee490ee8cd6cb77b5bf;hp=a6b6155b1f156db72c17bb8e24f67c4a88183b34;hpb=8e1a7e55cbc7750446f0a7ab3d071190594243fb;p=helm.git

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>