the commit continues

[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 0b1f1da178df5d7f61233369befb09afbd6bbda1..d2daed49a26fc96820331ea5416ebf5de3082a5b 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgEnvironment.ml
+++ b/helm/software/helena/src/basic_rg/brgEnvironment.ml
@@ -12,23 +12,15 @@
 module U = NUri
 module K = U.UriHash
 module E = Entity
-module B = Brg
 
 let hsize = 7000 
 let env = K.create hsize
 
-(* Internal functions *******************************************************)
-
-let get_age = 
-   let age = ref 0 in
-   fun () -> incr age; !age
-
 (* Interface functions ******************************************************)
 
 (* decps *)
-let set_entity (a, uri, b) =
-   let age = get_age () in
-   let entity = (E.Apix age :: a), uri, b in
+let set_entity entity =
+   let _, uri, _ = entity in
    K.add env uri entity; entity
 
 let get_entity uri =