From e661734b9add761fc908093c15a6e867ffc68688 Mon Sep 17 00:00:00 2001
From: Jonathan Schleifer <js@webkeks.org>
Date: Sun, 30 Sep 2012 04:57:00 +0200
Subject: [PATCH] Fix a bug in refpool.

---
 src/refpool.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/refpool.c b/src/refpool.c
index 63d28fa..74dd8e0 100644
--- a/src/refpool.c
+++ b/src/refpool.c
@@ -76,6 +76,9 @@ dtor(void *ptr)
 		free(pool->data);
 
 	top = pool->prev;
+
+	if (top != NULL)
+		top->next = NULL;
 }
 
 bool