- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_rg/brgType.ml b/helm/software/helena/src/basic_rg/brgType.ml
index 43e193edee22d2336000ce88580e94230ba83f39..85a20cbc0e6b4c7e7ea9c2ecb2293692dc464f6a 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgType.ml
+++ b/helm/software/helena/src/basic_rg/brgType.ml
@@ -13,10 +13,10 @@ module U  = NUri
 module C  = Cps
 module W  = Share
 module L  = Log
+module G  = Options
 module H  = Hierarchy
 module N  = Level
 module E  = Entity
-module G  = Options
 module S  = Status
 module B  = Brg
 module BE = BrgEnvironment