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

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

diff --git a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
index f173f24b6..94337001e 100644
--- a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux
@@ -283,7 +283,7 @@
 (def: (io//current-time [])
   Nullary
   (|> (lua.apply "os.time" (list))
-      (lua.* (lua.int 1_000))))
+      (lua.* (lua.int 1,000))))
 
 ## [Bundles]
 (def: lux-procs
-- 
cgit v1.2.3