From 8545a535a19e8c9aca79efa8169ea60bb85ce6af Mon Sep 17 00:00:00 2001
From: andreacavalli <andrea@warp.ovh>
Date: Thu, 19 Mar 2020 00:54:26 +0100
Subject: [PATCH] Update 'scripting.js'

---
 scripting.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripting.js b/scripting.js
index 0ee28bd..43c9aa4 100644
--- a/scripting.js
+++ b/scripting.js
@@ -43,7 +43,8 @@ function print(...text) {
 		process.stdout.write(text.join(" "));
 }
 function println(...text) {
-		print(text) + process.stdout.write("\n");
+		print(text);
+        process.stdout.write("\n");
 }
 
 const scriptPath = process.argv[2];