diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-06-20 22:41:36 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-06-20 23:07:23 -0700 |
| commit | 9ae724e1ec928df0183285a006452bffdca7c014 (patch) | |
| tree | 638614b8a17b6f9753984ad3870080a795fafc50 /shell/sandbox.mu | |
| parent | 7045af7a4e37ebc516299eda83e755423f31d7eb (diff) | |
| download | mu-9ae724e1ec928df0183285a006452bffdca7c014.tar.gz | |
preserve indentation of the sandbox
Diffstat (limited to 'shell/sandbox.mu')
| -rw-r--r-- | shell/sandbox.mu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/shell/sandbox.mu b/shell/sandbox.mu index 39173f99..d4926bff 100644 --- a/shell/sandbox.mu +++ b/shell/sandbox.mu @@ -71,9 +71,9 @@ fn write-sandbox out: (addr stream byte), _self: (addr sandbox) { break-if-!= return } - write out, " (sandbox . " + write out, " (sandbox . [" append-gap-buffer data, out - write out, ")\n" + write out, "])\n" } ## |