new semantics of the -g option completed

[helm.git] / helm / software / helena / src / xml / xmlLibrary.mli

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index e49d0e8d8323913dbccc870cc82afc55b2b9ca3b..0dbfb54aa91e05c4a12d5cb7f6a7d72d0b7841be 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -39,6 +39,8 @@ val void: string
 
 val position: int -> attr
 
+val depth: int -> attr
+
 val uri: Entity.uri -> attr
 
 val layer: Layer.status -> Layer.layer -> attr