X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fbasic_rg%2FbrgReduction.mli;h=50935000a217c1cff364f82515f1b6a2219cae2b;hb=150f931929c8333dbcfff8dbe77fb2e177f44c56;hp=1a2f3500777b30eeaa3486daa95a0c415c2dc66e;hpb=bbc1c6ccb596693c46f4d75d7875b94c79f1d575;p=helm.git

diff --git a/helm/software/helena/src/basic_rg/brgReduction.mli b/helm/software/helena/src/basic_rg/brgReduction.mli
index 1a2f35007..50935000a 100644
--- a/helm/software/helena/src/basic_rg/brgReduction.mli
+++ b/helm/software/helena/src/basic_rg/brgReduction.mli
@@ -17,7 +17,7 @@ val empty_rtm: rtm
 
 val get: rtm -> int -> Brg.bind
 
-val push: rtm -> Entity.node_attrs -> Brg.bind -> rtm
+val push: rtm -> Entity.bind_attrs -> Brg.bind -> rtm
 
 val xwhd: Layer.status -> rtm -> int option -> Brg.term -> rtm * Brg.term