pool.c: add destroy() to totally free a pool's memory

2021-12-20 11:59:02 +01:00
parent a84c52fa94
commit 9d9b111e2c
3 changed files with 81 additions and 35 deletions
--- a/2021/day15/aoc-c.c
+++ b/2021/day15/aoc-c.c
@@ -199,5 +199,7 @@ int main(int ac, char **av)

    read_input();
    printf("%s : res=%u\n", *av, part == 1? part1(): part2());
+    /* pool_stats(pool); */
+    pool_destroy(pool);
    exit (0);
 }