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