diff options
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/host/jvm.lux | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/lux-jvm/source/luxc/lang/host/jvm.lux b/lux-jvm/source/luxc/lang/host/jvm.lux index a7eb07777..3bb609324 100644 --- a/lux-jvm/source/luxc/lang/host/jvm.lux +++ b/lux-jvm/source/luxc/lang/host/jvm.lux @@ -47,21 +47,21 @@ (type: .public Visibility (Variant - #Public - #Protected - #Private - #Default)) + {#Public} + {#Protected} + {#Private} + {#Default})) (type: .public Version (Variant - #V1_1 - #V1_2 - #V1_3 - #V1_4 - #V1_5 - #V1_6 - #V1_7 - #V1_8)) + {#V1_1} + {#V1_2} + {#V1_3} + {#V1_4} + {#V1_5} + {#V1_6} + {#V1_7} + {#V1_8})) (type: .public ByteCode Binary) |