diff options
author | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-04 12:49:52 -0400 |
commit | fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db (patch) | |
tree | 24858adac0e67228620b7e9166e3b7335be9fd5a /lux-jvm/source/luxc/lang/translation/jvm/extension.lux | |
parent | 891b1cfc82322f8017f0a4f6b707d6fe52024545 (diff) |
De-taggification | part 2
Diffstat (limited to 'lux-jvm/source/luxc/lang/translation/jvm/extension.lux')
-rw-r--r-- | lux-jvm/source/luxc/lang/translation/jvm/extension.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux index 69f29376c..ce0a3991b 100644 --- a/lux-jvm/source/luxc/lang/translation/jvm/extension.lux +++ b/lux-jvm/source/luxc/lang/translation/jvm/extension.lux @@ -1,13 +1,13 @@ (.module: [library - [lux #* + [lux "*" [data [collection ["." dictionary]]]]] [//// [host - [jvm (#+ Bundle)]]] - ["." / #_ + [jvm {"+" [Bundle]}]]] + ["." / "_" ["#." common] ["#." host]]) |