diff options
author | Eduardo Julian | 2019-03-13 21:14:22 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-03-13 21:14:22 -0400 |
commit | 8e4b93bfc90ca81d615bf9dd5af43f29fdd0f5ae (patch) | |
tree | 0b343949908c11f8f27d70e4d40b1ccd0f969add /new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux | |
parent | 810c2c9f524603c161f265e4ed17c6556bdef959 (diff) |
Replaced the digit separator in numbers from "_" to ",".
Diffstat (limited to '')
-rw-r--r-- | new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux index 2cfe7eb1e..e5beb9872 100644 --- a/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux +++ b/new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux @@ -147,7 +147,7 @@ (python.import! "time") (python.return! (let [time (|> (python.global "time") (python.send (list) "time") - (python.* (python.int 1_000)))] + (python.* (python.int 1,000)))] (python.apply (list time) (python.global "int")))))) (def: runtime//io |