- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_rg/brgOutput.ml b/helm/software/helena/src/basic_rg/brgOutput.ml
index fe67e2c7ba531912bdc8f6a412f67bdbea49c6ba..5f2866d24b23f614a49e93ee6a5716ded9d310e0 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgOutput.ml
+++ b/helm/software/helena/src/basic_rg/brgOutput.ml
@@ -10,13 +10,14 @@
       V_______________________________________________________________ *)
 
 module P  = Printf
-module C  = Cps
+
 module U  = NUri
+module C  = Cps
 module L  = Log
 module G  = Options
-module E  = Entity
 module H  = Hierarchy
 module N  = Level
+module E  = Entity
 module XD = XmlCrg
 module B  = Brg
 module BD = BrgCrg