- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_rg/brgValidity.ml b/helm/software/helena/src/basic_rg/brgValidity.ml
index e6704d0a967e52648d43fabdba92bbd148044fc4..ea3ce2f42b40e90f647fe608cdd092881b6f30b5 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgValidity.ml
+++ b/helm/software/helena/src/basic_rg/brgValidity.ml
@@ -10,8 +10,8 @@
       V_______________________________________________________________ *)
 
 module L  = Log
-module E  = Entity
 module G  = Options
+module E  = Entity
 module S  = Status
 module B  = Brg
 module BE = BrgEnvironment