- bug fix in the static disambiguation of unified binders

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

diff --git a/helm/software/helena/src/basic_ag/bagEnvironment.ml b/helm/software/helena/src/basic_ag/bagEnvironment.ml
index 24c2126199c5f5a568a4e4944fffb33f6d18ab91..1fb84c5ed796c71b6db51e6afbd2e3c2570cf00d 100644 (file)
--- a/helm/software/helena/src/basic_ag/bagEnvironment.ml
+++ b/helm/software/helena/src/basic_ag/bagEnvironment.ml
@@ -9,16 +9,16 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-module U = NUri
-module L = Log
-module K = U.UriHash
-module E = Entity
-module Z = Bag
+module U  = NUri
+module UH = U.UriHash
+module L  = Log
+module E  = Entity
+module Z  = Bag
 
 exception ObjectNotFound of Z.message
 
 let hsize = 7000 
-let env = K.create hsize
+let env = UH.create hsize
 
 (* Internal functions *******************************************************)
 
@@ -33,7 +33,7 @@ let error uri = raise (ObjectNotFound (L.items1 (U.string_of_uri uri)))
 let set_entity f (ra, na, uri, b) =
    let age = get_age () in
    let entry = ra, {na with E.n_apix = Some age}, uri, b in
-   K.add env uri entry; f entry
+   UH.add env uri entry; f entry
 
 let get_entity f uri =
-   try f (K.find env uri) with Not_found -> error uri
+   try f (UH.find env uri) with Not_found -> error uri