util/serialization.lua
changeset 9696 affcbccc1dff
parent 9573 ce403b6470f8
child 9867 aebfd1601ae2
--- a/util/serialization.lua	Sat Dec 08 17:09:55 2018 +0100
+++ b/util/serialization.lua	Sat Dec 08 17:10:51 2018 +0100
@@ -20,7 +20,6 @@
 local envload = require"util.envload".envload;
 
 local pos_inf, neg_inf = math.huge, -math.huge;
--- luacheck: ignore 143/math
 local m_type = math.type or function (n)
 	return n % 1 == 0 and n <= 9007199254740992 and n >= -9007199254740992 and "integer" or "float";
 end;