From 0dfc9395c709d05e0a6ef27ad825990413939aad Mon Sep 17 00:00:00 2001
From: Ingo Ruhnke <grumbel@gmail.com>
Date: Tue, 19 Aug 2014 02:44:20 +0200
Subject: [PATCH] Removed some remaining empty 'void Menu::check_menu()' calls

---
 src/supertux/menu/options_menu.cpp | 5 -----
 src/supertux/menu/options_menu.hpp | 1 -
 src/supertux/menu/profile_menu.hpp | 2 --
 3 files changed, 8 deletions(-)

diff --git a/src/supertux/menu/options_menu.cpp b/src/supertux/menu/options_menu.cpp
index 15436877c..8e1ce9dc0 100644
--- a/src/supertux/menu/options_menu.cpp
+++ b/src/supertux/menu/options_menu.cpp
@@ -310,9 +310,4 @@ OptionsMenu::menu_action(MenuItem* item)
   }
 }
 
-void
-OptionsMenu::check_menu()
-{
-}
-
 /* EOF */
diff --git a/src/supertux/menu/options_menu.hpp b/src/supertux/menu/options_menu.hpp
index 84ee8aefd..f1479d86d 100644
--- a/src/supertux/menu/options_menu.hpp
+++ b/src/supertux/menu/options_menu.hpp
@@ -27,7 +27,6 @@ public:
   virtual ~OptionsMenu();
 
   void menu_action(MenuItem* item) override;
-  void check_menu();
 };
 
 #endif
diff --git a/src/supertux/menu/profile_menu.hpp b/src/supertux/menu/profile_menu.hpp
index 1e8954554..3754057aa 100644
--- a/src/supertux/menu/profile_menu.hpp
+++ b/src/supertux/menu/profile_menu.hpp
@@ -25,8 +25,6 @@ public:
   ProfileMenu();
 
   void menu_action(MenuItem* item) override;
-
-  void check_menu() {}
 };
 
 #endif
-- 
2.11.0