update in binaries for λδ

[helm.git] / matita / matita / contribs / lambdadelta / bin / roles / rolesInput.mli

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli b/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.mli
index 248a94fa663135c82b1d2bef082cffc69d9c1c7e..bc6108c91e1d295536e03a1e7dc819631375fc02 100644 (file)
--- 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_rev_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