aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/host/jvm
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/host/jvm
parent70ffb24d3a0d817080d54e4d3eb4bd49ba18feea (diff)
Extracted "phase" from under "lux/platform/compiler/default".
Diffstat (limited to 'new-luxc/source/luxc/lang/host/jvm')
-rw-r--r--new-luxc/source/luxc/lang/host/jvm/inst.lux4
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm/inst.lux b/new-luxc/source/luxc/lang/host/jvm/inst.lux
index 44ce0839a..9a26f8df0 100644
--- a/new-luxc/source/luxc/lang/host/jvm/inst.lux
+++ b/new-luxc/source/luxc/lang/host/jvm/inst.lux
@@ -15,8 +15,8 @@
["." code]
["s" syntax (#+ syntax:)]]
["." function]
- [compiler
- [default
+ [platform
+ [compiler
[phase (#+ Operation)]]]]
["." // (#+ Primitive Inst)
["." type]])