- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_rg/brgReduction.ml b/helm/software/helena/src/basic_rg/brgReduction.ml
index 61f1d9038b9495b05c50a995f80227a006e7d475..f5ad36154a3c0227d5b647b490aa296b3d7501ff 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgReduction.ml
+++ b/helm/software/helena/src/basic_rg/brgReduction.ml
@@ -12,10 +12,10 @@
 module U  = NUri
 module W  = Share
 module L  = Log
+module G  = Options
 module H  = Hierarchy
 module N  = Level
 module E  = Entity
-module G  = Options
 module O  = Output
 module S  = Status
 module B  = Brg