- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / basic_ag / bagType.ml

diff --git a/helm/software/helena/src/basic_ag/bagType.ml b/helm/software/helena/src/basic_ag/bagType.ml
index e8e40452ff8f0283cc351e2ff19fa15386fc1924..33953d6add6494b4546ec933e8b48c6e4f83d120 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagType.ml
+++ b/helm/software/helena/src/basic_ag/bagType.ml
@@ -13,9 +13,9 @@ module U  = NUri
 module C  = Cps
 module W  = Share
 module L  = Log
+module G  = Options
 module H  = Hierarchy
 module E  = Entity
-module G  = Options
 module S  = Status
 module Z  = Bag
 module ZO = BagOutput