- simpler attribute 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 231027ad8799217e7a47b69e5ac18b924bb5dd8b..01a38f89ffeffa52e296b023b3816d083f0389f0 100644 (file)
--- a/helm/software/helena/src/basic_rg/brgEnvironment.ml
+++ b/helm/software/helena/src/basic_rg/brgEnvironment.ml
@@ -23,7 +23,7 @@ let env = UH.create hsize
 let set_entity entity =
 IFDEF EXPAND THEN
    let ra, na, uri, b = entity in
-   let entity0 = if !G.expand then ra, {na with E.n_apix = 0}, uri, b else entity in
+   let entity0 = if !G.expand then ra, E.node_attrs ~apix:0 (), uri, b else entity in
    UH.add env uri entity0; entity
 ELSE
    let _, _, uri, _ = entity in