author | Matthew Wild <mwild1@gmail.com> |
Mon, 15 Jun 2020 14:23:47 +0100 | |
changeset 10939 | 2d57c49bfa12 |
parent 10938 | b4daa697a7ea |
child 10940 | d770435f0f84 |
util/gc.lua | file | annotate | diff | comparison | revisions |
--- 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