From 542d88472f3e9ec8131d3470dfd02fd1cc36f3bd Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Sat, 14 Nov 2015 21:42:55 +0100
Subject: [PATCH] player: remove unused field

---
 player/core.h     | 1 -
 player/loadfile.c | 1 -
 2 files changed, 2 deletions(-)

diff --git a/player/core.h b/player/core.h
index c46147679f..4303daa78a 100644
--- a/player/core.h
+++ b/player/core.h
@@ -269,7 +269,6 @@ typedef struct MPContext {
     // update_playback_speed() updates them from the other fields.
     double audio_speed, video_speed;
     bool display_sync_active;
-    bool broken_fps_header;
     int display_sync_drift_dir;
     // Timing error (in seconds) due to rounding on vsync boundaries
     double display_sync_error;
diff --git a/player/loadfile.c b/player/loadfile.c
index d72f13da61..3007ef4f8e 100644
--- a/player/loadfile.c
+++ b/player/loadfile.c
@@ -1035,7 +1035,6 @@ static void play_current_file(struct MPContext *mpctx)
     mpctx->video_speed = mpctx->audio_speed = opts->playback_speed;
     mpctx->speed_factor_a = mpctx->speed_factor_v = 1.0;
     mpctx->display_sync_error = 0.0;
-    mpctx->broken_fps_header = false;
     mpctx->display_sync_active = false;
     mpctx->seek = (struct seek_params){ 0 };