From 6a14c43b8aae9b8bd5c3830c24230d1ead5a11d3 Mon Sep 17 00:00:00 2001 From: Alasdair Date: Wed, 17 Feb 2021 17:10:37 +0000 Subject: Make sure :step_function appears in :commands --- src/isail.ml | 4 ++-- 1 file 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 "") | ":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 -- cgit v1.2.3