From 8ebf2d5b9d368338b2be1fa53042c84a6f8ef682 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 11 Jan 2020 02:53:52 -0400
Subject: Re-located code related to Lux's compilation across the different
 phases.

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

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

diff --git a/new-luxc/source/luxc/lang/translation/jvm/case.lux b/new-luxc/source/luxc/lang/translation/jvm/case.lux
index 7ea571450..048acbdab 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/case.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/case.lux
@@ -16,8 +16,10 @@
       ["." signature (#+ Signature)]]]]
    [tool
     [compiler
-     ["." synthesis (#+ Path Synthesis)]
-     ["." phase ("operation@." monad)]]]]
+     ["." phase ("operation@." monad)]
+     [language
+      [lux
+       ["." synthesis (#+ Path Synthesis)]]]]]]
   [luxc
    [lang
     [host
-- 
cgit v1.2.3