diff options
| -rw-r--r-- | util/datamanager.lua | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/util/datamanager.lua b/util/datamanager.lua index dc98bd13..fb9ba3a4 100644 --- a/util/datamanager.lua +++ b/util/datamanager.lua @@ -17,7 +17,9 @@ local io_open = io.open; local os_remove = os.remove; local os_rename = os.rename; local tonumber = tonumber; +local tostring = tostring; local next = next; +local type = type; local t_insert = table.insert; local t_concat = table.concat; local envloadfile = require"util.envload".envloadfile; |