Changeset

10935:2d57c49bfa12

util.gc: Linter fixes [luacheck]
author Matthew Wild <mwild1@gmail.com>
date Mon, 15 Jun 2020 14:23:47 +0100
parents 10934:b4daa697a7ea
children 10936:d770435f0f84
files util/gc.lua
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
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