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

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"