X-Git-Url: http://git.tuebingen.mpg.de/?a=blobdiff_plain;f=gui_theme.c;h=f3a3729e57c5df8189664d4158ad43ad11c8b6e0;hb=d16fe3df649cb48d5ffa26187da3dad4c3066646;hp=4abc45ec6e7a0cd60872d840a04d4f2659ca5119;hpb=32e646780461f96682d1191d31e08e4602ab125e;p=paraslash.git

diff --git a/gui_theme.c b/gui_theme.c
index 4abc45ec..f3a3729e 100644
--- a/gui_theme.c
+++ b/gui_theme.c
@@ -4,7 +4,6 @@
  * Licensed under the GPL v2. For licencing details see COPYING.
  */
 
-#include <stdbool.h>
 #include "para.h"
 #include "gui.h"
 #include <curses.h>