diff options
author | Eduardo Julian | 2020-06-03 01:25:47 -0400 |
---|---|---|
committer | Eduardo Julian | 2020-06-03 01:25:47 -0400 |
commit | 00ca2ba61759b59a17b59c56b347f83f089fabd5 (patch) | |
tree | 7fd5aa3e9efd4d4dc7bdcf6fb9a388bc542945b5 /lux-jvm/source/luxc/lang/translation/jvm/case.lux | |
parent | a6987ad82f107df49853e1601b73076d030d6fc8 (diff) |
Properly implemented and enabled loop optimization.
Diffstat (limited to '')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/case.lux | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux index 23f84ad4e..421f413a0 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux @@ -23,8 +23,7 @@ [archive (#+ Archive)]] [language [lux - ["." synthesis (#+ Path Synthesis) - ["#/." case]]]]]]] + ["." synthesis (#+ Path Synthesis)]]]]]] [luxc [lang [host |