From faef01317bf32ea2a27d757f6dcdf3ca0898d8a5 Mon Sep 17 00:00:00 2001
From: thorkill <thkr@hannover.ccc.de>
Date: Wed, 1 Jul 2015 16:56:07 +0200
Subject: [PATCH] Do not free splay_tree when tree->count != 0

---
 src/splay_tree.c | 2 ++
 1 file changed, 2 insertions(+)

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);
 }