- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / common / hierarchy.ml

diff --git a/helm/software/helena/src/common/hierarchy.ml b/helm/software/helena/src/common/hierarchy.ml
index 28d95cc82cba6f14904971999362969a98df0aad..6e8c98fd66dc628ae4ab16cc13eb6008a98f7211 100644 (file)
--- a/helm/software/helena/src/common/hierarchy.ml
+++ b/helm/software/helena/src/common/hierarchy.ml
@@ -11,6 +11,7 @@
 
 module K = Hashtbl
 module P = Scanf
+
 module C = Cps
 
 type graph = string * (int -> int)