X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=wav_filter.c;h=3149e5b42a6a84f84eed1ad603226b0df5b93862;hp=8408034d905c6f20eb375385d638de31a43df0e3;hb=d16fe3df649cb48d5ffa26187da3dad4c3066646;hpb=2da7e7a4d85dd0c9d2b846b15aa6da67b54bb627

diff --git a/wav_filter.c b/wav_filter.c
index 8408034d..3149e5b4 100644
--- a/wav_filter.c
+++ b/wav_filter.c
@@ -7,7 +7,6 @@
 /** \file wav_filter.c A filter that inserts a wave header. */
 
 #include <regex.h>
-#include <stdbool.h>
 
 #include "para.h"
 #include "error.h"