Diff

util/gc.lua @ 10935:2d57c49bfa12

util.gc: Linter fixes [luacheck]
author Matthew Wild <mwild1@gmail.com>
date Mon, 15 Jun 2020 14:23:47 +0100
parent 10933:f59bc81245b3
child 11431:4874b54af344
line wrap: on
line diff
--- a/util/gc.lua	Mon Jun 15 14:16:34 2020 +0100
+++ b/util/gc.lua	Mon Jun 15 14:23:47 2020 +0100
@@ -1,4 +1,3 @@
-local array = require "util.array";
 local set = require "util.set";
 
 local known_options = {
@@ -41,7 +40,7 @@
 			user.minor_threshold or defaults.minor_threshold,
 			user.major_threshold or defaults.major_threshold
 		);
-	end	
+	end
 	return true;
 end