Improve help message

1 files changed, 7 insertions, 1 deletions

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index cff3fa4e..189603b0 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -261,7 +261,13 @@ let run
     let (E_aux(_, (l, _)) as e) = compact_exp e in
     debugf "%s: %s\n" (loc_to_string l) (Pretty_interp.pp_exp e) in
   (* interactive loop for step-by-step execution *)
-  let usage = "Usage: next, run, stack, environment, memory\n" in
+  let usage = "Usage:
+    next    go to next break point [default]
+    run     complete current execution,
+    stack   print call stack
+    env     print content of environment
+    mem     print content of memory
+    quit    exit interpreter" in
   let rec interact ((reg, mem) as env) stack =
     flush_all();
     begin match Pervasives.read_line () with