]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/basic_ag/bagEnvironment.ml
- new attributes system
[helm.git] / helm / software / helena / src / basic_ag / bagEnvironment.ml
index 30e3e992f2ed4f00e8375f0fdfd9c7ff4798545d..24c2126199c5f5a568a4e4944fffb33f6d18ab91 100644 (file)
@@ -30,9 +30,9 @@ let error uri = raise (ObjectNotFound (L.items1 (U.string_of_uri uri)))
 
 (* Interface functions ******************************************************)
 
-let set_entity f (a, uri, b) =
+let set_entity f (ra, na, uri, b) =
    let age = get_age () in
-   let entry = (E.Apix age :: a), uri, b in
+   let entry = ra, {na with E.n_apix = Some age}, uri, b in
    K.add env uri entry; f entry
 
 let get_entity f uri =