diff options
| author | Carl Hetherington <cth@carlh.net> | 2022-12-15 16:39:53 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2022-12-15 16:39:53 +0100 |
| commit | 192ba9fe562ccda0b888bf0d3c8f71d4c67be309 (patch) | |
| tree | d0fbc1fc6e8963e982de84d4106cf69c6caf1f06 | |
| parent | dd9711df97e605e9015445d00337164b40f1bd00 (diff) | |
Fix build on Ubuntu 16.04.
| -rw-r--r-- | src/lib/player.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lib/player.cc b/src/lib/player.cc index c7dd83d6d..3c3032bd1 100644 --- a/src/lib/player.cc +++ b/src/lib/player.cc @@ -1361,7 +1361,7 @@ Player::seek (DCPTime time, bool accurate) _last_video.clear (); for (auto& state: _stream_states) { - state.second.last_push_end = {}; + state.second.last_push_end = boost::none; } } |