diff options
Diffstat (limited to 'Gui/mplayer/gtk/pl.c')
| -rw-r--r-- | Gui/mplayer/gtk/pl.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Gui/mplayer/gtk/pl.c b/Gui/mplayer/gtk/pl.c index c56f3bbab5..f171ba8c12 100644 --- a/Gui/mplayer/gtk/pl.c +++ b/Gui/mplayer/gtk/pl.c @@ -12,6 +12,7 @@ #include "../../../config.h" #include "../../../help_mp.h" +#include "../../libmpdemux/stream.h" #include "../../interface.h" #include "../widgets.h" |