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/case.jvm.lux | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
index 4b9feebb4..78ef508e8 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
@@ -8,9 +8,8 @@
      format]]
    [platform
     [compiler
-     [default
-      ["." phase ("operation/." Monad<Operation>)
-       ["." synthesis (#+ Path Synthesis)]]]]]]
+     ["." phase ("operation/." Monad<Operation>)
+      ["." synthesis (#+ Path Synthesis)]]]]]
   [luxc
    [lang
     [host
-- 
cgit v1.2.3