From af57444bcbd001a2de8a3798c84e6c4556416b62 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Thu, 7 Aug 2014 00:30:43 +0200
Subject: [PATCH] player: remove unused declaration

---
 player/core.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/player/core.h b/player/core.h
index dd5d975038..61d78215b6 100644
--- a/player/core.h
+++ b/player/core.h
@@ -465,7 +465,6 @@ void run_playloop(struct MPContext *mpctx);
 void idle_loop(struct MPContext *mpctx);
 void handle_force_window(struct MPContext *mpctx, bool reconfig);
 void add_frame_pts(struct MPContext *mpctx, double pts);
-void finish_playback_restart(struct MPContext *mpctx);
 
 // scripting.c
 struct mp_scripting {