diff options
author | Eduardo Julian | 2018-07-03 20:35:42 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-03 20:35:42 -0400 |
commit | 371a407a49ddf0f2fe1d977018fcd0a009c86043 (patch) | |
tree | 322daf75a391bfc49026867250e10c424c4ec978 /new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux | |
parent | c75e8aa8bc84af3b598292f3261354384b3cc80f (diff) |
- Re-named "import" to "import:".
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux index be1a87761..0e0931b1e 100644 --- a/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/php/procedure/common.jvm.lux @@ -218,7 +218,7 @@ ## ))) ## ## [[Numbers]] -## (host.import java/lang/Double +## (host.import: java/lang/Double ## (#static MIN_VALUE Double) ## (#static MAX_VALUE Double)) |