X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fbasic_ag%2FbagEnvironment.mli;h=4a44c05fee33258ac883381c8eb12a5d76cd956a;hb=d88c6bdb650d69ffccac2031cecf7a50cd7e6917;hp=ed94f4e8be63ce06caa9ad7aed67ec11ab5faa0c;hpb=79684e8bd0f54b5c88fff981366bd8c78dd0fbe9;p=helm.git

diff --git a/helm/software/lambda-delta/basic_ag/bagEnvironment.mli b/helm/software/lambda-delta/basic_ag/bagEnvironment.mli
index ed94f4e8b..4a44c05fe 100644
--- a/helm/software/lambda-delta/basic_ag/bagEnvironment.mli
+++ b/helm/software/lambda-delta/basic_ag/bagEnvironment.mli
@@ -11,6 +11,6 @@
 
 exception ObjectNotFound of Bag.message
 
-val set_entry: (Bag.entry -> 'a) -> Bag.entry -> 'a
+val set_entity: (Bag.entity -> 'a) -> Bag.entity -> 'a
 
-val get_entry: (Bag.entry -> 'a) -> Bag.uri -> 'a
+val get_entity: (Bag.entity -> 'a) -> Bag.uri -> 'a