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 {