- we are moving from old (patched) management of sort inclusion

[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 1ac861aeef06aa9ab7edf2c8b9fb1de5a7df0c02..ed7901f57789de19c5b87a3f825d2cc531871020 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -41,7 +41,7 @@ val position: int -> attr
 
 val uri: Entity.uri -> attr
 
-val level: Level.status -> Level.level -> attr
+val layer: Layer.status -> Layer.layer -> attr
 
 val name: Entity.node_attrs -> attr