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

diff --git a/matita/matita/contribs/lambdadelta/bin/roles/roles.ml b/matita/matita/contribs/lambdadelta/bin/roles/roles.ml
index 14c0decc3..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"
@@ -36,10 +37,10 @@ let change_cwd s =
   EG.cwd := Filename.concat !EG.cwd s
 
 let add_tops s =
-  EE.add_tops (EU.version_of_string s)
+  EE.add_tops (EU.stage_of_string s)
 
 let new_stage s =
-  EE.new_stage (EU.version_of_string s)
+  EE.new_stage (EU.stage_of_string s)
 
 let select_entry s =
   EE.select_entry (EU.pointer_of_string s)
@@ -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;