tools/modtrace.lua
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";