diff options
| author | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-06-04 02:28:47 -0400 |
| commit | 56d2835d35093e2d92c5e8a4371aa322b55e037b (patch) | |
| tree | 1c7949355baeae92e2f6e02f9104739ddb10ff73 /stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux | |
| parent | f2172051a91bbb2578918dc784a053a321849b63 (diff) | |
Extensible import syntax [Part 6]
Diffstat (limited to 'stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux')
| -rw-r--r-- | stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux index 05772986f..a1c60d8d2 100644 --- a/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux +++ b/stdlib/source/library/lux/target/jvm/bytecode/environment/limit.lux @@ -9,7 +9,7 @@ [data ["[0]" product] ["[0]" format - ["[1]" binary (.only Writer) ("[1]#[0]" monoid)]]] + ["[1]" binary (.only Writer) (.open: "[1]#[0]" monoid)]]] [math [number ["n" nat]]]]] |