Moved menu code frome GameSession and Worldmap into the proper Menu::check_menu(...

[supertux.git] / src / supertux / menu / game_menu.hpp

diff --git a/src/supertux/menu/game_menu.hpp b/src/supertux/menu/game_menu.hpp
index 0255f37..c325926 100644 (file)
--- a/src/supertux/menu/game_menu.hpp
+++ b/src/supertux/menu/game_menu.hpp
@@ -32,7 +32,7 @@ private:
 public:
   GameMenu(const Level& level);
 
-  void check_menu();
+  void check_menu() override;
 
 private:
   GameMenu(const GameMenu&);