- new attributes system

[helm.git] / helm / software / helena / src / basic_rg / brgEnvironment.ml

diff --git a/helm/software/helena/src/basic_rg/brgEnvironment.ml b/helm/software/helena/src/basic_rg/brgEnvironment.ml
index d2daed49a26fc96820331ea5416ebf5de3082a5b..a3123caf393bcd839431f743c9f8444a1e1e294e 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgEnvironment.ml
+++ b/helm/software/helena/src/basic_rg/brgEnvironment.ml
@@ -20,8 +20,8 @@ let env = K.create hsize
 
 (* decps *)
 let set_entity entity =
-   let _, uri, _ = entity in
+   let _, _, uri, _ = entity in
    K.add env uri entity; entity
 
 let get_entity uri =
-   try K.find env uri with Not_found -> [], uri, E.Void
+   try K.find env uri with Not_found -> E.empty_root, E.empty_node, uri, E.Void