aboutsummaryrefslogtreecommitdiff
path: root/bridges.c
diff options
context:
space:
mode:
Diffstat (limited to 'bridges.c')
-rw-r--r--bridges.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/bridges.c b/bridges.c
index 7043950..bb66c20 100644
--- a/bridges.c
+++ b/bridges.c
@@ -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);
}