- helena: the improved attribute system allows to export the sorts of Pi's

[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 1fb84c5ed796c71b6db51e6afbd2e3c2570cf00d..61e823836a899e2f20a9d20e39336231ab93b2e4 100644 (file)
--- 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 =