X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_rg%2FbrgEnvironment.ml;h=121da88da4d54e955fa480e68aa88ea31048704c;hb=f2771b346a41445df23adb6acccd7ee6b1578666;hp=5a4cf3cb6d0875cbda2ea881e68fb4c0160ba0d4;hpb=cd798346d31b14b8947e5801b87dc4f363607862;p=helm.git

diff --git a/helm/software/lambda-delta/basic_rg/brgEnvironment.ml b/helm/software/lambda-delta/basic_rg/brgEnvironment.ml
index 5a4cf3cb6..121da88da 100644
--- a/helm/software/lambda-delta/basic_rg/brgEnvironment.ml
+++ b/helm/software/lambda-delta/basic_rg/brgEnvironment.ml
@@ -25,10 +25,11 @@ let get_age =
 
 (* Interface functions ******************************************************)
 
-let set_entity f (a, uri, b) =
+(* decps *)
+let set_entity (a, uri, b) =
    let age = get_age () in
    let entity = (Y.Apix age :: a), uri, b in
-   H.add env uri entity; f entity
+   H.add env uri entity; entity
 
-let get_entity err f uri =
-   try f (H.find env uri) with Not_found -> err ()
+let get_entity uri =
+   try H.find env uri with Not_found -> [], uri, Y.Void