changeset 12594 | 5eaf77114fdb |
parent 12593 | 39ae08180c81 |
--- a/tools/modtrace.lua Mon Jul 11 19:07:38 2022 +0200 +++ b/tools/modtrace.lua Mon Jul 11 19:15:24 2022 +0200 @@ -8,7 +8,7 @@ -- local dbuffer = require "tools.modtrace".trace("util.dbuffer"); -- -local t_pack = require "util.table".pack; +local t_pack = table.pack; local serialize = require "util.serialization".serialize; local unpack = table.unpack; local set = require "util.set";