White space.

diff --git a/src/lib/player.cc b/src/lib/player.cc
index 4c988c804b0c5e6f367f486ec3aa83fd043dc745..45b6051c76c01f57165593174b0e1b091de3b8ff 100644 (file)
--- a/src/lib/player.cc
+++ b/src/lib/player.cc
@@ -702,7 +702,6 @@ Player::earliest_piece_and_time() const
                if (t > piece->content->end(film)) {
                        piece->done = true;
                } else {
-
                        /* Given two choices at the same time, pick the one with texts so we see it before
                           the video.
                        */