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

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index 0dbfb54aa..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
@@ -45,14 +47,16 @@ val uri: Entity.uri -> attr
 
 val layer: Layer.status -> Layer.layer -> attr
 
-val name: Entity.node_attrs -> attr
+val name: Entity.bind_attrs -> attr
 
-val main: Entity.node_attrs -> attr list
+val main: Entity.bind_attrs -> attr list
 
-val side: Entity.node_attrs -> attr list
+val side: Entity.bind_attrs -> attr list
 
 val apix: Entity.node_attrs -> attr
 
 val meta: Entity.root_attrs -> attr
 
 val info: Entity.root_attrs -> attr list
+
+END