diff --git a/src/splay_tree.c b/src/splay_tree.c index e37bfd63..2c5baab7 100644 --- a/src/splay_tree.c +++ b/src/splay_tree.c @@ -249,6 +249,8 @@ splay_tree_t *splay_alloc_tree(splay_compare_t compare, splay_action_t delete) { } void splay_free_tree(splay_tree_t *tree) { + if (tree->count != 0) + abort(); free(tree); }