diff options
Diffstat (limited to 'new-luxc/source/luxc/lang/translation/jvm/procedure')
| -rw-r--r-- | new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux index f63c82108..55cf8a644 100644 --- a/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux @@ -15,7 +15,7 @@ ["s" syntax (#+ syntax:)]] [tool [compiler - [synthesis (#+ Synthesis)] + ["." synthesis (#+ Synthesis)] ["." phase ["." extension ["." bundle]]]]] @@ -99,7 +99,7 @@ (_.label @end) ))) -(def: unitI Inst (_.string ///.unit)) +(def: unitI Inst (_.string synthesis.unit)) ## Extensions ### Lux |