From 192ba9fe562ccda0b888bf0d3c8f71d4c67be309 Mon Sep 17 00:00:00 2001 From: Carl Hetherington Date: Thu, 15 Dec 2022 16:39:53 +0100 Subject: Fix build on Ubuntu 16.04. --- src/lib/player.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; } } -- cgit v1.2.3