util/startup.lua
changeset 12986 fc0109c59807
parent 12979 d10957394a3c
child 13018 06453c564141
--- a/util/startup.lua	Fri Mar 24 16:29:48 2023 +0100
+++ b/util/startup.lua	Sun Mar 26 00:11:42 2023 +0100
@@ -233,7 +233,7 @@
 		if info.isvararg then
 			info[n_params+1] = "...";
 		end
-		return ("function<%s:%d>(%s)"):format(info.short_src:match("[^\\/]*$"), info.linedefined, table.concat(info, ", "));
+		return ("function @%s:%d(%s)"):format(info.short_src:match("[^\\/]*$"), info.linedefined, table.concat(info, ", "));
 	end
 	debug.setmetatable(function() end, mt);
 end