X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=play.c;h=a7ce563baafae4e39e33de07867669085c648ac3;hp=e484427c87c1ed44d0585b67ef813b1c4da48521;hb=5e8d8a8eea6de9459ebdf4498f9f061c84bfa63a;hpb=ef9c3e5f615987120b8c6d51f64e49176ddb176f

diff --git a/play.c b/play.c
index e484427c..a7ce563b 100644
--- a/play.c
+++ b/play.c
@@ -13,7 +13,6 @@
 #include "para.h"
 #include "list.h"
 #include "play.cmdline.h"
-#include "filter.cmdline.h"
 #include "error.h"
 #include "ggo.h"
 #include "buffer_tree.h"