- basic_rg: architectural bug fix

[helm.git] / helm / software / lambda-delta / toplevel / top.ml

diff --git a/helm/software/lambda-delta/toplevel/top.ml b/helm/software/lambda-delta/toplevel/top.ml
index 7504e2c0b3a1715dafc7f1f45d9688ce7ffeedd5..b3f65bb84fcb96cce9e703cdeda636886eb25ba8 100644 (file)
--- a/helm/software/lambda-delta/toplevel/top.ml
+++ b/helm/software/lambda-delta/toplevel/top.ml
@@ -107,7 +107,12 @@ try
       if !L.level > 2 && !stage > 0 then MO.print_counters Cps.start st.mc;
       if !L.level > 2 && !stage > 1 then BrgO.print_counters Cps.start st.brgc;
    in
-   let help = "Usage: helena [ -V | -Ss <number> | -m <file> ] <file> ..." in
+   let help = 
+      "Usage: helena [ -V | -Ss <number> | -m <file> ] <file> ...\n\n" ^
+      "Summary levels: 0 just errors, 1 time stamps, 2 processed file names, \
+       3 data information, 4 typing information, 5 reduction information\n\n" ^
+       "Stages: 0 parsing, 1 to intermediate, 2 to untrusted, 3 to trusted\n"
+   in
    let help_S = "<number>  Set summary level" in
    let help_V = " Show version information" in   
    let help_m = "<file>  output intermediate representation" in