play: Remove unnecessary inclusion of filter.cmdline.h.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 12 Jun 2016 18:38:10 +0000 (20:38 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 18 Jun 2016 18:43:27 +0000 (20:43 +0200)
This header defines the gengetopt structure of para_filter, which is
not needed for para_play.

play.c

diff --git a/play.c b/play.c
index e484427..a7ce563 100644 (file)
--- 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"