diff options
author | wm4 <wm4@nowhere> | 2015-07-06 22:28:28 +0200 |
---|---|---|
committer | wm4 <wm4@nowhere> | 2015-07-06 22:28:28 +0200 |
commit | 782c7acd16f77f8942becae0ddf7be991b287ff4 (patch) | |
tree | 6fa0061a27227a12608be9ca5a2b7906be727bf4 /player | |
parent | 385febe27632075160c903a22502fcb78b160ae4 (diff) |
player: add missing include directive
Diffstat (limited to 'player')
-rw-r--r-- | player/core.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/player/core.h b/player/core.h index 7b3e47d8d2..885c2d2052 100644 --- a/player/core.h +++ b/player/core.h @@ -19,6 +19,7 @@ #define MPLAYER_MP_CORE_H #include <stdbool.h> +#include <pthread.h> #include "libmpv/client.h" |