Changeset

11072:02227c5d0c59 0.11

util.gc: Linter fixes [luacheck]
author Matthew Wild <mwild1@gmail.com>
date Mon, 15 Jun 2020 14:23:47 +0100
parents 11071:f69a63b80f3a
children 11073:5691b9773c5b
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:10 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