diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-08-22 08:39:53 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-08-22 08:39:53 -0700 |
commit | 736b26a73f2b1f31593d1b2fb7bd690280576ac8 (patch) | |
tree | efefb0dfb558b3fa8afb19c6156457078ed4dce3 /edit/011-errors.mu | |
parent | fd256875325d6dddadfc02128fae6d5ab626bf8b (diff) | |
download | mu-736b26a73f2b1f31593d1b2fb7bd690280576ac8.tar.gz |
3980
Diffstat (limited to 'edit/011-errors.mu')
-rw-r--r-- | edit/011-errors.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/edit/011-errors.mu b/edit/011-errors.mu index dcccf598..0c1ba545 100644 --- a/edit/011-errors.mu +++ b/edit/011-errors.mu @@ -51,11 +51,11 @@ after <programming-environment-initialization> [ *result <- put *result, error-index:offset, -1 ] -after <run-sandboxes-begin> [ +after <begin-run-sandboxes> [ *env <- put *env, error-index:offset, -1 ] -before <run-sandboxes-end> [ +before <end-run-sandboxes> [ { error-index:num <- get *env, error-index:offset sandboxes-completed-successfully?:bool <- equal error-index, -1 |