aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/procedure/common.jvm.lux4
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