From 68f0cab18add59b2d500b70c1f71abf00ef063e6 Mon Sep 17 00:00:00 2001
From: Benoit Giannangeli <giann008@gmail.com>
Date: Sat, 20 May 2017 22:37:55 +0200
Subject: ldblib.js: fixed bad type for info lastlinedefined and linedefined

---
 src/ldblib.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ldblib.js b/src/ldblib.js
index 90f08cd..91dd980 100644
--- a/src/ldblib.js
+++ b/src/ldblib.js
@@ -139,8 +139,8 @@ const db_getinfo = function(L) {
     if (options.indexOf('S'.charCodeAt(0)) > -1) {
         settabss(L, lua.to_luastring("source", true), ar.source);
         settabss(L, lua.to_luastring("short_src", true), ar.short_src);
-        settabss(L, lua.to_luastring("linedefined", true), lua.to_luastring(`${ar.linedefined}`));
-        settabss(L, lua.to_luastring("lastlinedefined", true), lua.to_luastring(`${ar.lastlinedefined}`));
+        settabsi(L, lua.to_luastring("linedefined", true), ar.linedefined);
+        settabsi(L, lua.to_luastring("lastlinedefined", true), ar.lastlinedefined);
         settabss(L, lua.to_luastring("what", true), ar.what);
     }
     if (options.indexOf('l'.charCodeAt(0)) > -1)
-- 
cgit v1.2.3-54-g00ecf