diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux index 20be62066..ed40d498f 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux @@ -7,12 +7,13 @@ format] [collection ["." list ("list/." Functor<List> Monoid<List>)]]] - [compiler - [default - [reference (#+ Register)] - ["." phase - ["." synthesis (#+ Synthesis)] - ["." translation]]]]] + [platform + [compiler + [default + [reference (#+ Register)] + ["." phase + ["." synthesis (#+ Synthesis)] + ["." translation]]]]]] [luxc [lang [host |