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

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

diff --git a/helm/software/helena/src/xml/xmlLibrary.ml b/helm/software/helena/src/xml/xmlLibrary.ml
index 4caa7c1c2f50008b12db6f7ad7ed6d3185cb7503..77fb9351a5690e4f1337ee32897795d1cae6f2d6 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -15,7 +15,7 @@ module U = NUri
 module C = Cps
 module G = Options
 module H = Hierarchy
-module N = Level
+module N = Layer
 module E = Entity
 
 (* internal functions *******************************************************)
@@ -99,8 +99,8 @@ let name a =
 let apix a =
    "position", string_of_int a.E.n_apix
 
-let level st n =
-   "level", N.to_string st n
+let layer st n =
+   "layer", N.to_string st n
 
 let kind a =
    "position", string_of_int a.E.n_sort