diff options
| author | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:29:57 -0400 |
| commit | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (patch) | |
| tree | bc76d7aeff4f2b889ae262a64dc8d26b0476068d /lux-jvm/source/luxc/lang/translation/jvm/extension.lux | |
| parent | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (diff) | |
Updated only/except import syntax to take into account record => variant syntax change.
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension.lux')
| -rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux index fff364f52..8ebacd941 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux @@ -6,7 +6,7 @@ ["[0]" dictionary]]]]] [//// [host - [jvm {"+" [Bundle]}]]] + [jvm {"+" Bundle}]]] ["[0]" / "_" ["[1][0]" common] ["[1][0]" host]]) |