- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_ag/bagCrg.ml b/helm/software/helena/src/basic_ag/bagCrg.ml
index 6ad1c328458dd0ca3d43385acae31389e7b37023..de74dcb2b0550d4f0502c8fc4715053afe60f6fa 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagCrg.ml
+++ b/helm/software/helena/src/basic_ag/bagCrg.ml
@@ -10,9 +10,9 @@
       V_______________________________________________________________ *)
 
 module C = Cps
-module E = Entity
 module J = Marks
 module N = Level
+module E = Entity
 module D = Crg
 module Z = Bag