diff --git a/src/ck_hs.c b/src/ck_hs.c index ea77b9a..5808876 100644 --- a/src/ck_hs.c +++ b/src/ck_hs.c @@ -686,6 +686,8 @@ restart: /* Otherwise, mark slot as deleted. */ ck_pr_store_ptr(slot, CK_HS_TOMBSTONE); + map->n_entries--; + map->tombstones++; return true; }