fixed a memory leak

diff --git a/lib/sorter/govern.c b/lib/sorter/govern.c
index 7231a5b77a56ef48a93ecdd59038993e83c37f90..43b1668846fb975c1fb06fdfe415bb38df328586 100644 (file)
--- a/lib/sorter/govern.c
+++ b/lib/sorter/govern.c
@@ -436,4 +436,5 @@ sorter_run(struct sort_context *ctx)
   SORT_XTRACE(2, "Final timings: %.3fs external sorting, %.3fs presorting, %.3fs internal sorting",
              ctx->total_ext_time/1000., ctx->total_pre_time/1000., ctx->total_int_time/1000.);
   ctx->out_fb = sbuck_read(bout);
+  mp_delete(ctx->pool);
 }