X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fhelena%2Fsrc%2Fcommon%2Falpha.mli;h=e1ea7a726b40d365f49e473b26ef78f06c319047;hb=600fba840c748f67593838673a6eb40eab9b68e5;hp=cf0fafd05b77cc0d69003b1aef1e73b5a307603b;hpb=977faf4820cd8ff5e2f0a5249161bbb92ae4b097;p=helm.git

diff --git a/helm/software/helena/src/common/alpha.mli b/helm/software/helena/src/common/alpha.mli
index cf0fafd05..e1ea7a726 100644
--- a/helm/software/helena/src/common/alpha.mli
+++ b/helm/software/helena/src/common/alpha.mli
@@ -9,7 +9,7 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-val alpha: ((unit -> Entity.node_attrs) -> (unit -> Entity.node_attrs) -> 
-            'a -> Entity.node_attrs -> Entity.node_attrs
+val alpha: ((unit -> Entity.bind_attrs) -> (unit -> Entity.bind_attrs) -> 
+            'a -> Entity.bind_attrs -> Entity.bind_attrs
            ) ->
-           'a -> Entity.node_attrs -> Entity.node_attrs
+           'a -> Entity.bind_attrs -> Entity.bind_attrs