- bug fix in the static disambiguation of unified binders

[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 2e3fdef8a6d9322725977a6c45cee3bf121fd974..1112f43240a62da00bdfc754fe5e0165ac2d7069 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -10,12 +10,13 @@
       V_______________________________________________________________ *)
 
 module F = Filename
+
 module U = NUri
 module C = Cps
-module H = Hierarchy
 module G = Options
-module E = Entity
+module H = Hierarchy
 module N = Level
+module E = Entity
 
 (* internal functions *******************************************************)
 
@@ -107,6 +108,9 @@ let apix a =
 let level st n =
    "level", N.to_string st n
 
+let degr a =
+   "degr", string_of_int a.E.n_degr
+
 let meta a =
    let map = function
       | E.Main     -> "Main"