From f4bb7ff1455659a766a074506b54129e0037db64 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 3 Mar 2019 12:09:56 -0400
Subject: Some refactoring around synthesis.

---
 new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 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 72c316d83..457c052a2 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux
@@ -9,8 +9,8 @@
      format]]
    [tool
     [compiler
-     ["." phase ("operation/." monad)
-      ["." synthesis (#+ Path Synthesis)]]]]]
+     ["." synthesis (#+ Path Synthesis)]
+     ["." phase ("operation/." monad)]]]]
   [luxc
    [lang
     [host
-- 
cgit v1.2.3