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/r/runtime.jvm.lux | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux')

diff --git a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
index dff7c4ae1..ce2265a8e 100644
--- a/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/r/runtime.jvm.lux
@@ -514,7 +514,7 @@
 
 (runtime: (io//current-time! _)
   (|> current-time-float
-      (r.* (r.float 1_000.0))
+      (r.* (r.float 1,000.0))
       int//from-float))
 
 (def: runtime//io
-- 
cgit v1.2.3