util.set: Add a __name field to metatable
authorKim Alvefur <zash@zash.se>
Fri, 16 Feb 2018 08:23:26 +0100
changeset 8525 073e517a1487
parent 8524 6f5ce0f09f40
child 8526 30671b378ab5
util.set: Add a __name field to metatable
util/set.lua
--- a/util/set.lua	Fri Feb 16 08:23:15 2018 +0100
+++ b/util/set.lua	Fri Feb 16 08:23:26 2018 +0100
@@ -12,7 +12,7 @@
 
 local _ENV = nil;
 
-local set_mt = {};
+local set_mt = { __name = "set" };
 function set_mt.__call(set, _, k)
 	return next(set._items, k);
 end