From 3da30aff80bc8c80e090574887a58c6015ceb694 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 29 Oct 2018 21:54:10 -0400
Subject: Extracted "phase" from under "lux/platform/compiler/default".

---
 new-luxc/source/luxc/lang/translation/jvm.lux | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'new-luxc/source/luxc/lang/translation/jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/jvm.lux b/new-luxc/source/luxc/lang/translation/jvm.lux
index 3f9189f4f..47fbbefcf 100644
--- a/new-luxc/source/luxc/lang/translation/jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm.lux
@@ -20,10 +20,9 @@
     [binary (#+ Binary)]]
    [platform
     [compiler
-     [default
-      ["." name]
-      [phase
-       ["." translation]]]]]]
+     ["." name]
+     [phase
+      ["." translation]]]]]
   [///
    [host
     ["." jvm (#+ Inst Definition Host State)
-- 
cgit v1.2.3