aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-10-29 21:54:10 -0400
committerEduardo Julian2018-10-29 21:54:10 -0400
commit3da30aff80bc8c80e090574887a58c6015ceb694 (patch)
treecc157fb121fd6cfb2559f6dedd0de046566a453a /new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
parent70ffb24d3a0d817080d54e4d3eb4bd49ba18feea (diff)
Extracted "phase" from under "lux/platform/compiler/default".
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux9
1 files changed, 4 insertions, 5 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 c1d8792d0..154dcbdcf 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
@@ -15,11 +15,10 @@
["s" syntax (#+ syntax:)]]
[platform
[compiler
- [default
- ["." phase
- [synthesis (#+ Synthesis)]
- ["." extension
- ["." bundle]]]]]]
+ ["." phase
+ [synthesis (#+ Synthesis)]
+ ["." extension
+ ["." bundle]]]]]
[host (#+ import:)]]
[luxc
[lang