diff options
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/structure.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/structure.lux | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux index 5676fa5f9..76948ca72 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/structure.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/structure.lux @@ -64,13 +64,13 @@ (import: java/lang/Byte ["#::." - (#static MAX_VALUE byte) - (#static MIN_VALUE byte)]) + ("static" MAX_VALUE byte) + ("static" MIN_VALUE byte)]) (import: java/lang/Short ["#::." - (#static MAX_VALUE short) - (#static MIN_VALUE short)]) + ("static" MAX_VALUE short) + ("static" MIN_VALUE short)]) (def: .public (tagI lefts right?) (-> Nat Bit Inst) |