diff options
author | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-03-30 13:12:18 -0400 |
commit | 1a962ee4b03f51f46a5979bfefc954f35ee3a1b7 (patch) | |
tree | b042049a8ff6036007d57c8253ce203a1ed90744 /stdlib/source/documentation/lux/world/console.lux | |
parent | 220c804f9136c73058802575ee49f3f769d5599f (diff) |
Re-named "as_is" to "these" to avoid confusion with the new type-annotation macro names.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/world/console.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/documentation/lux/world/console.lux b/stdlib/source/documentation/lux/world/console.lux index 63c9c60f5..bc7cd8818 100644 --- a/stdlib/source/documentation/lux/world/console.lux +++ b/stdlib/source/documentation/lux/world/console.lux @@ -38,8 +38,8 @@ ..Mock ..mock ($.default /.async) - (~~ (for @.jvm (~~ (as_is ($.default /.cannot_open) + (~~ (for @.jvm (~~ (these ($.default /.cannot_open) ($.default /.cannot_close) ($.default /.default))) - (~~ (as_is))))] + (~~ (these))))] [])))) |