From 49d690ac913f025178606c8e2f64640060352ce6 Mon Sep 17 00:00:00 2001
From: daurnimator <quae@daurnimator.com>
Date: Sat, 6 Jan 2018 23:23:40 +1100
Subject: src/ldump.js: Remove unneeded Number.parseInt (IE compat)

---
 src/ldump.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ldump.js b/src/ldump.js
index f736e22..61c627b 100644
--- a/src/ldump.js
+++ b/src/ldump.js
@@ -6,7 +6,7 @@ const CT      = defs.constant_types;
 const LUAC_DATA    = defs.luastring_of(25, 147, 13, 10, 26, 10);
 const LUAC_INT     = 0x5678;
 const LUAC_NUM     = 370.5;
-const LUAC_VERSION = Number.parseInt(defs.LUA_VERSION_MAJOR) * 16 + Number.parseInt(defs.LUA_VERSION_MINOR);
+const LUAC_VERSION = Number(defs.LUA_VERSION_MAJOR) * 16 + Number(defs.LUA_VERSION_MINOR);
 const LUAC_FORMAT  = 0;   /* this is the official format */
 
 class DumpState {
-- 
cgit v1.2.3-54-g00ecf