File supertux-gcc41.patch of Package supertux

Index: src/menu.h
===================================================================
--- src/menu.h.orig
+++ src/menu.h
@@ -207,7 +207,7 @@ public:
 
   bool isToggled(int id);
 
-  void Menu::get_controlfield_key_into_input(MenuItem *item);
+  void get_controlfield_key_into_input(MenuItem *item);
 
   void draw   ();
   void draw_item(int index, int menu_width, int menu_height);