X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesInput.mli;h=bc6108c91e1d295536e03a1e7dc819631375fc02;hb=456a157eba1428fd4ec02713e60ac2b653a0e0b0;hp=d0756236fddb613119950cafa6f3e61cf88c8763;hpb=a1ae862976f2489107dd107937f5e05d0aaa7144;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli b/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli
index d0756236f..bc6108c91 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli
@@ -9,6 +9,6 @@
      \ /   This software is distributed as is, NO WARRANTY.
       V_______________________________________________________________ *)
 
-val read_names: Scanf.Scanning.in_channel -> RolesTypes.names -> RolesTypes.names
+val read_rev_nobjs: Scanf.Scanning.in_channel -> RolesTypes.nobjs -> RolesTypes.nobjs
 
 val read_status: in_channel -> RolesTypes.status