player: use correct type for some relative times

We use double for these things everywhere, just this code didn't. It
likely doesn't matter much, and this code is for an optional feature
too.

1 files changed, 3 insertions, 3 deletions

diff --git a/player/video.c b/player/video.c
index c8d8e2af85..0e142ddd0d 100644
--- a/player/video.c
+++ b/player/video.c
@@ -658,9 +658,9 @@ static void update_avsync_before_frame(struct MPContext *mpctx)
              * This is badly implemented; the behavior of the smoothing
              * now undesirably depends on how often this code runs
              * (mainly depends on video frame rate). */
-            float predicted = mpctx->delay / opts->playback_speed +
-                              mpctx->time_frame;
-            float difference = buffered_audio - predicted;
+            double predicted = mpctx->delay / opts->playback_speed +
+                               mpctx->time_frame;
+            double difference = buffered_audio - predicted;
             buffered_audio = predicted + difference / opts->autosync;
         }