X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2Froles.ml;h=95be729607cd89f6701a9c53ea1edca8f71fde05;hp=68e5dfa6bf0fc10e3e665ce2b8fad4088ab27b8e;hb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355;hpb=59fd7b5ea24e71b47aee069440f140bcccf1292a

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.ml b/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
index 68e5dfa6b..95be72960 100644
--- a/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
+++ b/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
@@ -24,6 +24,7 @@ let help_a = " Add selected names to a role"
 let help_d = " Remove selected names from roles"
 let help_m = " Add roles relating matching names"
 let help_n = "<version>  Start a stage with this version"
+let help_o = " Turn waiting names into top objects"
 let help_p = " Print current status on standard output"
 let help_r = " Load current status"
 let help_s = "<pointer>  Toggle the selection of this pointed entry"
@@ -63,6 +64,7 @@ let _main = try
     "-d", Arg.Unit EE.remove_roles, help_d;
     "-m", Arg.Unit EE.add_matching, help_m;
     "-n", Arg.String new_stage, help_n;
+    "-o", Arg.Unit EE.make_tops, help_o;
     "-p", Arg.Unit EE.print_status, help_p;
     "-r", Arg.Unit EE.read_status, help_r;
     "-s", Arg.String select_entry, help_s;