2 files changed, 1 insertions, 1 deletions
diff --git a/Gui/interface.h b/Gui/interface.h
index f1e24b29a2..2c8e16140b 100644
--- a/Gui/interface.h
+++ b/Gui/interface.h
@@ -102,6 +102,7 @@ extern guiInterface_t guiIntfStruct;
 #define guiSetPause 2
 
 extern void guiInit( int argc,char* argv[], char *envp[] );
+extern void guiDone( void );
 extern void guiGetEvent( int type,char * arg );
 extern void guiEventHandling( void );
 
diff --git a/Gui/mplayer/mw.h b/Gui/mplayer/mw.h
index 745349d573..fc39df24ef 100644
--- a/Gui/mplayer/mw.h
+++ b/Gui/mplayer/mw.h
@@ -208,7 +208,6 @@ void mplEventHandling( int msg,float param )
   {
 // --- user events
    case evExit:
-        wsDoExit();  // sets wsTrue=False;
         exit_player( "Exit" );
         break;