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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml b/matita/matita/contribs/lambdadelta/bin/roles/rolesInput.ml
index 93e8018d5..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_names ich names =
+let rec read_rev_nobjs ich nobjs =
   match input_string_opt ich with
-  | None   -> names
-  | Some s -> read_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