diff options
author | Eduardo Julian | 2018-12-15 09:22:46 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-12-15 09:22:46 -0400 |
commit | 07426c47503a84666a9a7824d76e8d5730492d75 (patch) | |
tree | 546a0c36117d4c2a23bc6e37a382d524a5c6fb35 /stdlib/source/lux/data/text/encoding.lux | |
parent | 41a67eec16a69aeab52609ddd2facc7a433039e5 (diff) |
Small improvements.
Diffstat (limited to 'stdlib/source/lux/data/text/encoding.lux')
-rw-r--r-- | stdlib/source/lux/data/text/encoding.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/lux/data/text/encoding.lux b/stdlib/source/lux/data/text/encoding.lux index de4bdf310..bd1a255ec 100644 --- a/stdlib/source/lux/data/text/encoding.lux +++ b/stdlib/source/lux/data/text/encoding.lux @@ -4,8 +4,9 @@ ["." error (#+ Error)]] [world [binary (#+ Binary)]] - [compiler - ["_" host]] + [platform + [compiler + ["_" host]]] [host (#+ import:)]]) (`` (for {(~~ (static _.jvm)) |