- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_ag/bagReduction.ml b/helm/software/helena/src/basic_ag/bagReduction.ml
index 8df9274ed648a8611bd5d99f257ad76396a94ffe..fd564e83e744575a0bcb84db9f64c5b1c4838d76 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagReduction.ml
+++ b/helm/software/helena/src/basic_ag/bagReduction.ml
@@ -12,9 +12,9 @@
 module U  = NUri
 module C  = Cps
 module L  = Log
-module E  = Entity
 module G  = Options
 module J  = Marks
+module E  = Entity
 module S  = Status
 module Z  = Bag
 module ZO = BagOutput