branch | 0.11 |
changeset 11076 | 02227c5d0c59 |
parent 11075 | f69a63b80f3a |
child 11435 | 4874b54af344 |
--- 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