aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux13
1 files changed, 7 insertions, 6 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
index e439ecdd6..c1d8792d0 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
@@ -13,12 +13,13 @@
["." macro (#+ with-gensyms)
["." code]
["s" syntax (#+ syntax:)]]
- [compiler
- [default
- ["." phase
- [synthesis (#+ Synthesis)]
- ["." extension
- ["." bundle]]]]]
+ [platform
+ [compiler
+ [default
+ ["." phase
+ [synthesis (#+ Synthesis)]
+ ["." extension
+ ["." bundle]]]]]]
[host (#+ import:)]]
[luxc
[lang