- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / basic_rg / brgEnvironment.ml

diff --git a/helm/software/helena/src/basic_rg/brgEnvironment.ml b/helm/software/helena/src/basic_rg/brgEnvironment.ml
index a3123caf393bcd839431f743c9f8444a1e1e294e..0fbbd9a543072748d7968d4fc034cb88cdccd703 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgEnvironment.ml
+++ b/helm/software/helena/src/basic_rg/brgEnvironment.ml
@@ -9,19 +9,19 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module U = NUri
-module K = U.UriHash
-module E = Entity
+module U  = NUri
+module UH = U.UriHash
+module E  = Entity
 
 let hsize = 7000 
-let env = K.create hsize
+let env = UH.create hsize
 
 (* Interface functions ******************************************************)
 
 (* decps *)
 let set_entity entity =
    let _, _, uri, _ = entity in
-   K.add env uri entity; entity
+   UH.add env uri entity; entity
 
 let get_entity uri =
-   try K.find env uri with Not_found -> E.empty_root, E.empty_node, uri, E.Void
+   try UH.find env uri with Not_found -> E.empty_root, E.empty_node, uri, E.Void