- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / complete_rg / crg.ml

diff --git a/helm/software/helena/src/complete_rg/crg.ml b/helm/software/helena/src/complete_rg/crg.ml
index d9649494e44391f1d537bdec73833ac834c1fd9c..87fbaf3e252177fa5cbf039ca1290c545ffcf2eb 100644 (file)
--- a/helm/software/helena/src/complete_rg/crg.ml
+++ b/helm/software/helena/src/complete_rg/crg.ml
@@ -13,8 +13,8 @@
 (* note          : fragment of complete \lambda\delta serving as abstract layer *) 
 
 module C = Cps
-module E = Entity
 module N = Level
+module E = Entity
 
 type uri = E.uri
 type id = E.id