Use a dedicated free function to free dsfs.

No functional change: currently, this just wraps the previous sfree
call.
This commit is contained in:
Simon Tatham
2023-04-20 13:35:58 +01:00
parent 16f997d34c
commit bb561ee3b1
24 changed files with 70 additions and 64 deletions

View File

@ -1820,8 +1820,8 @@ static game_state *dup_game(const game_state *state)
static void free_game(game_state *state)
{
if (--state->solver->refcount <= 0) {
sfree(state->solver->dsf);
sfree(state->solver->tmpdsf);
dsf_free(state->solver->dsf);
dsf_free(state->solver->tmpdsf);
sfree(state->solver);
}