- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / text / txtCrg.ml

diff --git a/helm/software/helena/src/text/txtCrg.ml b/helm/software/helena/src/text/txtCrg.ml
index 63b7725b25d2f1521a3e4662c1126ff88001e14c..21af0f5116b804aa2e4cc92e18dcca3ae5ba8eaf 100644 (file)
--- a/helm/software/helena/src/text/txtCrg.ml
+++ b/helm/software/helena/src/text/txtCrg.ml
@@ -10,9 +10,9 @@
       V_______________________________________________________________ *)
 
 module U  = NUri
-module H  = Hierarchy
 module C  = Cps
 module G  = Options
+module H  = Hierarchy
 module E  = Entity
 module T  = Txt
 module TT = TxtTxt