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

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

diff --git a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
index d33cdb76c..3d5ea1775 100644
--- a/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/php/runtime.jvm.lux
@@ -146,7 +146,7 @@
 ##       (_.import! "time")
 ##       (_.return! (let [time (|> (_.global "time")
 ##                                 (_.send (list) "time")
-##                                 (_.* (_.int 1_000)))]
+##                                 (_.* (_.int 1,000)))]
 ##                    (_.apply (list time) (_.global "int"))))))
 
 ## (def: runtime//io
-- 
cgit v1.2.3