diff options
| author | Carl Hetherington <cth@carlh.net> | 2019-03-22 14:34:57 +0000 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2019-03-26 14:03:24 +0000 |
| commit | 810e5dfc0e333537f43649484a2b43d02209d517 (patch) | |
| tree | 8329acde9768b8a5140c2e185bcbb0d7b3e8ecb4 /src/lib | |
| parent | f3b4fd07bb390f81ecced7b7a299808bd00540c4 (diff) | |
Missing #include.
Diffstat (limited to 'src/lib')
| -rw-r--r-- | src/lib/player_video.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lib/player_video.h b/src/lib/player_video.h index 6275c5113..928dfc690 100644 --- a/src/lib/player_video.h +++ b/src/lib/player_video.h @@ -31,6 +31,7 @@ extern "C" { } #include <boost/shared_ptr.hpp> #include <boost/weak_ptr.hpp> +#include <boost/thread/mutex.hpp> class Image; class ImageProxy; |