diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2021-05-23 22:26:49 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2021-05-23 22:26:49 -0700 |
commit | f32e8035c74c8fc6a87358ca7ecee295e6f6f260 (patch) | |
tree | d818e2a3fea98333bc129fbf747023cc1ae4ec9d /shell | |
parent | 7fa01639419f244f2f7387967ab72aa6c52bd2fe (diff) | |
download | mu-f32e8035c74c8fc6a87358ca7ecee295e6f6f260.tar.gz |
.
Diffstat (limited to 'shell')
-rw-r--r-- | shell/trace.mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/shell/trace.mu b/shell/trace.mu index 30a11582..da61df8c 100644 --- a/shell/trace.mu +++ b/shell/trace.mu @@ -152,7 +152,7 @@ fn trace _self: (addr trace), label: (addr array byte), message: (addr stream by write message, " - find a smaller sub-computation to test,\n" write message, " - allocate more space to the trace in initialize-sandbox\n" write message, " (shell/sandbox.mu), or\n" - write message, " - move the computation to 'main' and run it using ctrl-s" + write message, " - move the computation to 'main' and run it using ctrl-r" initialize-trace-line 0/depth, "error", message, dest increment *index-addr return |