X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fprobe%2Fprobe.ml;fp=matita%2Fcomponents%2Fbinaries%2Fprobe%2Fprobe.ml;h=748826be167cf6b159ec5eff6aafbc3aa9a654c7;hb=6c15dd2d7c372dc163c24e96bf56376c5bcb5a6c;hp=55b942cc10a2552bd5b2114f63c7ce4fdd7ac3ed;hpb=c1175e54bf8d17e41c1f0789ec2bad57aedb9b8c;p=helm.git

diff --git a/matita/components/binaries/probe/probe.ml b/matita/components/binaries/probe/probe.ml
index 55b942cc1..748826be1 100644
--- a/matita/components/binaries/probe/probe.ml
+++ b/matita/components/binaries/probe/probe.ml
@@ -46,9 +46,11 @@ let scan_from devel =
 
 let set_g () = O.exclude := `Generated :: !O.exclude
 
+let set_i () = O.exclude := `Implied :: !O.exclude
+
 let set_p () = O.exclude := `Provided :: !O.exclude
 
-let out_i () = E.out_int !O.net
+let out_c () = E.out_int !O.net
 
 let out_on () = E.out_length !O.objs
 
@@ -67,10 +69,11 @@ let clear () =
    D.objects (); O.clear ()
 
 let _ =
-   let help = "Usage: probe [ -X | <configuration file> | -gp | HELM (base)uri | -i | -on | os | -sn | -ss  ]*" in
+   let help = "Usage: probe [ -X | <configuration file> | -gip | HELM (base)uri | -c | -on | os | -sn | -ss  ]*" in
    let help_X  = " Clear configuration, options and counters" in
+   let help_c  = " Print the total intrinsic complexity" in
    let help_g  = " Exclude generated objects" in
-   let help_i  = " Print the total intrinsic size" in
+   let help_i  = " Exclude implied objects" in
    let help_p  = " Exclude provided objects" in
    let help_on = " Print the number of objects" in
    let help_os = " Print the list of objects" in
@@ -78,8 +81,9 @@ let _ =
    let help_ss = " Print the list of sources" in
    A.parse [
       "-X" , A.Unit clear, help_X;
+      "-c" , A.Unit out_c, help_c;
       "-g" , A.Unit set_g, help_g;
-      "-i" , A.Unit out_i, help_i;
+      "-i" , A.Unit set_i, help_i;
       "-on", A.Unit out_on, help_on;
       "-os", A.Unit out_os, help_os;
       "-p" , A.Unit set_p, help_p;