- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / basic_rg / brg.ml

diff --git a/helm/software/helena/src/basic_rg/brg.ml b/helm/software/helena/src/basic_rg/brg.ml
index eeb9f56d61bdb00ae4d2aab5b0bfa5216659566d..ec32ef83dd773e3938a9aed71dd78ec9a086f8b7 100644 (file)
--- a/helm/software/helena/src/basic_rg/brg.ml
+++ b/helm/software/helena/src/basic_rg/brg.ml
@@ -12,8 +12,8 @@
 (* kernel version: basic, relative, global *)
 (* note          : ufficial basic \lambda\delta *) 
 
-module E = Entity
 module N = Level
+module E = Entity
 
 type uri = E.uri
 type attrs = E.node_attrs