- simpler attribute system

[helm.git] / helm / software / helena / src / basic_rg / brgReduction.mli

diff --git a/helm/software/helena/src/basic_rg/brgReduction.mli b/helm/software/helena/src/basic_rg/brgReduction.mli
index 1a2f3500777b30eeaa3486daa95a0c415c2dc66e..50935000a217c1cff364f82515f1b6a2219cae2b 100644 (file)
--- 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