]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/xml/xmlLibrary.mli
- conditional compilation continues ...
[helm.git] / helm / software / helena / src / xml / xmlLibrary.mli
index 202ec2c272befaed18d00a1e3be01d26c6c46578..552aa36666ee5226c64e2ef5bdc9a7c147f14007 100644 (file)
@@ -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