| author | Matthew Wild <mwild1@gmail.com> |
| Mon, 15 Jun 2020 14:23:47 +0100 | |
| branch | 0.11 |
| changeset 11076 | 02227c5d0c59 |
| parent 11075 | f69a63b80f3a |
| child 11077 | 5691b9773c5b |
| util/gc.lua | file | annotate | diff | comparison | revisions |
--- 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