util/startup.lua
changeset 11153 28add4b22a74
parent 11148 2b9f7c537acb
child 11154 0cfa36fa707e
--- a/util/startup.lua	Fri Oct 09 16:37:15 2020 +0200
+++ b/util/startup.lua	Fri Oct 09 17:34:04 2020 +0200
@@ -197,7 +197,7 @@
 		end
 	end
 	function mt.__tostring(f)
-		local info = debug.getinfo(f);
+		local info = debug.getinfo(f, "S");
 		return ("function(%s:%d)"):format(info.short_src:match("[^\\/]*$"), info.linedefined);
 	end
 	debug.setmetatable(function() end, mt);