- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_rg/brgCrg.ml b/helm/software/helena/src/basic_rg/brgCrg.ml
index a392afe93b708178be8a727a0444d3092e0c9ab9..cc1223c0aa199630133f8aaadb14fbb284b006a9 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgCrg.ml
+++ b/helm/software/helena/src/basic_rg/brgCrg.ml
@@ -10,8 +10,8 @@
       V_______________________________________________________________ *)
 
 module C = Cps
-module E = Entity
 module N = Level
+module E = Entity
 module D = Crg
 module B = Brg