X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fxml%2FxmlLibrary.mli;h=552aa36666ee5226c64e2ef5bdc9a7c147f14007;hb=4e75ab41fb7a0a9a4f66cb777a791ce3950c57ce;hp=202ec2c272befaed18d00a1e3be01d26c6c46578;hpb=fec20705af4705f8eb9542aece87769b82a6a6b4;p=helm.git

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index 202ec2c27..552aa3666 100644
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
+IFDEF OBJECTS THEN
+
 type och = string -> unit
 
 type attr = string * string
@@ -56,3 +58,5 @@ val apix: Entity.node_attrs -> attr
 val meta: Entity.root_attrs -> attr
 
 val info: Entity.root_attrs -> attr list
+
+END