X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=buffer_tree.c;h=3a1f3e23eb75c7efc4df34942e9afdc7eda9af91;hb=d16fe3df649cb48d5ffa26187da3dad4c3066646;hp=cb9d514f1aa5adfc501d5eee89150b7aa31821bc;hpb=f48194d3ff2a3983f21cab1553fbe29529f2e790;p=paraslash.git

diff --git a/buffer_tree.c b/buffer_tree.c
index cb9d514f..3a1f3e23 100644
--- a/buffer_tree.c
+++ b/buffer_tree.c
@@ -6,7 +6,6 @@
 
 /** \file buffer_tree.c Buffer tree and buffer pool implementations. */
 #include <regex.h>
-#include <stdbool.h>
 
 #include "para.h"
 #include "list.h"