X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgEnvironment.ml;h=01a38f89ffeffa52e296b023b3816d083f0389f0;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=231027ad8799217e7a47b69e5ac18b924bb5dd8b;hpb=b37863d4598516a06241f18ad0db963399015bf2;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgEnvironment.ml b/helm/software/helena/src/basic_rg/brgEnvironment.ml
index 231027ad8..01a38f89f 100644
--- 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