Fix build on Ubuntu 16.04.

diff --git a/src/lib/player.cc b/src/lib/player.cc
index c7dd83d6daa152a47ad294ffcf80bf077059589d..3c3032bd12ed7a9162a2b7c668213139c17a3b00 100644 (file)
--- 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;
        }
 }