From 8e4b93bfc90ca81d615bf9dd5af43f29fdd0f5ae Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 13 Mar 2019 21:14:22 -0400
Subject: Replaced the digit separator in numbers from "_" to ",".

---
 new-luxc/source/luxc/lang/translation/python/runtime.jvm.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'new-luxc/source/luxc/lang/translation/python')

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
-- 
cgit v1.2.3