util/datamanager.lua
changeset 5051 71253db26fda
parent 5049 5d685f123332
child 5057 1e44678b5de2
--- a/util/datamanager.lua	Sun Jul 29 02:28:25 2012 +0100
+++ b/util/datamanager.lua	Sun Jul 29 03:30:59 2012 +0200
@@ -8,16 +8,15 @@
 
 
 local format = string.format;
-local setmetatable, type = setmetatable, type;
-local pairs, ipairs = pairs, ipairs;
+local setmetatable = setmetatable;
+local ipairs = ipairs;
 local char = string.char;
 local pcall = pcall;
 local log = require "util.logger".init("datamanager");
 local io_open = io.open;
 local os_remove = os.remove;
 local os_rename = os.rename;
-local tostring, tonumber = tostring, tonumber;
-local error = error;
+local tonumber = tonumber;
 local next = next;
 local t_insert = table.insert;
 local t_concat = table.concat;