- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_ag/bagOutput.ml b/helm/software/helena/src/basic_ag/bagOutput.ml
index 37ff6eece48f8ea26f7ec3d388d91ef04fba862c..c5cb5109123e8931624420a7f5ee4ab764822c03 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagOutput.ml
+++ b/helm/software/helena/src/basic_ag/bagOutput.ml
@@ -10,12 +10,13 @@
       V_______________________________________________________________ *)
 
 module P  = Printf
+
 module U  = NUri
 module L  = Log
 module G  = Options
-module E  = Entity
 module J  = Marks
 module H  = Hierarchy
+module E  = Entity
 module XD = XmlCrg
 module Z  = Bag
 module ZD = BagCrg