disable collision detection when tux is falling down because he is dead

[supertux.git] / src / misc.h

diff --git a/src/misc.h b/src/misc.h
index 0fba8c7..e74a854 100644 (file)
--- 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