diff options
| author | Alasdair | 2021-02-17 17:10:37 +0000 |
|---|---|---|
| committer | Alasdair | 2021-02-17 17:13:02 +0000 |
| commit | 6a14c43b8aae9b8bd5c3830c24230d1ead5a11d3 (patch) | |
| tree | f9986b28a173f107b208ddf40ffef562d09ed440 /src/isail.ml | |
| parent | 9bca1fc8e7f7910668149bab11664a6d2062b17f (diff) | |
Make sure :step_function appears in :commands
Diffstat (limited to 'src/isail.ml')
| -rw-r--r-- | src/isail.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/isail.ml b/src/isail.ml index 33de1d9c..069a8f33 100644 --- a/src/isail.ml +++ b/src/isail.ml @@ -339,7 +339,7 @@ let help = sprintf "(:s | :step) %s - Perform a number of evaluation steps." (color yellow "<number>") | ":f" | ":step_function" -> - sprintf "(:s | :step) - Perform evaluation steps until the currently evaulating function returns." + sprintf "(:f | :step_function) - Perform evaluation steps until the currently evaulating function returns." | ":n" | ":normal" -> "(:n | :normal) - Exit evaluation mode back to normal mode." | ":clear" -> @@ -517,7 +517,7 @@ let handle_input' input = let commands = [ "Universal commands - :(t)ype :(i)nfer :(q)uit :(v)erbose :prove :assume :clear :commands :help :output :option"; "Normal mode commands - :elf :(l)oad :(u)nload :let :def :(b)ind :recheck :rewrite :rewrites :list_rewrites :compile " ^ more_commands; - "Evaluation mode commands - :(r)un :(s)tep :(n)ormal"; + "Evaluation mode commands - :(r)un :(s)tep :step_(f)unction :(n)ormal"; ""; ":(c)ommand can be called as either :c or :command." ] in |