util/set.lua
changeset 8525 073e517a1487
parent 6780 5de6b93d0190
child 8558 4f0f5b49bb03
--- 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