X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FrolesInput.ml;h=d55af677793101339cd1d9641735d3fb0a21104b;hb=456a157eba1428fd4ec02713e60ac2b653a0e0b0;hp=2fc81274b4c90b2cd65ffa25cede2a4d6778dfd7;hpb=4d3256c98f816a2d2dc7b97557b61364e18d0806;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml
index 2fc81274b..d55af6777 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml
@@ -18,10 +18,10 @@ let input_string_opt ich =
   try Scanf.bscanf ich " %S" map
   with End_of_file -> None
 
-let rec read_rev_names ich names =
+let rec read_rev_nobjs ich nobjs =
   match input_string_opt ich with
-  | None   -> names
-  | Some s -> read_rev_names ich ((false,EU.name_of_string s)::names)
+  | None   -> nobjs
+  | Some s -> read_rev_nobjs ich (EU.nobj_of_string s :: nobjs)
 
 let read_status ich =
   let lexbuf = Lexing.from_channel ich in