X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_ag%2FbagEnvironment.ml;h=61e823836a899e2f20a9d20e39336231ab93b2e4;hb=04ffe68396b98bbf21bcd403ffba03b94eaebadc;hp=1fb84c5ed796c71b6db51e6afbd2e3c2570cf00d;hpb=f66ae73597b06a5bf8b0ef82d5253bf0e5aba7fc;p=helm.git

diff --git a/helm/software/helena/src/basic_ag/bagEnvironment.ml b/helm/software/helena/src/basic_ag/bagEnvironment.ml
index 1fb84c5ed..61e823836 100644
--- a/helm/software/helena/src/basic_ag/bagEnvironment.ml
+++ b/helm/software/helena/src/basic_ag/bagEnvironment.ml
@@ -32,7 +32,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
+   let entry = ra, {na with E.n_apix = age}, uri, b in
    UH.add env uri entry; f entry
 
 let get_entity f uri =