X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fmisc.h;h=e74a85450d53abb5b09af457980dc42ca9dec4fc;hb=875ef8eb7e93726bc67dfa7f05da946250e588d4;hp=0fba8c7927476a651c8bd711f52bee3b7149de02;hpb=361c04772c1edc35e5c58c00489d77068560b546;p=supertux.git

diff --git a/src/misc.h b/src/misc.h
index 0fba8c792..e74a85450 100644
--- a/src/misc.h
+++ b/src/misc.h
@@ -19,7 +19,6 @@
 #define SUPERTUX_MISC_H
 
 #include "app/setup.h"
-#include "app/globals.h"
 #include "resources.h"
 #include "gui/menu.h"
 #include "utils/configfile.h"
@@ -43,12 +42,12 @@ enum OptionsMenuIDs {
   MNID_MUSIC,
   MNID_SHOWFPS
   };
-  
+
 /* Handle changes made to global settings in the options menu. */
-void process_options_menu(void);
+void process_options_menu();
 
 /* Create and setup menus. */
-void st_menu(void);
+void st_menu();
 void st_menu_free();
 
 #endif //SUPERTUX_MISC_H