diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/case.jvm.lux | 4 |
1 files changed, 2 insertions, 2 deletions
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 |