diff options
Diffstat (limited to 'Gui/win32/interface.c')
| -rw-r--r-- | Gui/win32/interface.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Gui/win32/interface.c b/Gui/win32/interface.c index f7d148f954..d622d6c105 100644 --- a/Gui/win32/interface.c +++ b/Gui/win32/interface.c @@ -45,7 +45,7 @@ extern m_obj_settings_t* vo_plugin_args; extern vo_functions_t *video_out; extern ao_functions_t *audio_out; -extern void exit_player(char *how); +extern void exit_player(const char *how); extern char *filename; extern int abs_seek_pos; extern float rel_seek_secs; |