X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fgui%2Fmenu.h;h=46373b45b635e1b7b0b74264e719bd18d4f6ad0f;hb=717f10b21efba0b9b3dcd844df219c652a18797a;hp=3c6bad0912ee6475ab13b4f364f1c2c514e4253e;hpb=be3627a9c6fc5bb27e5297da512d59a7eb4033a2;p=supertux.git

diff --git a/src/gui/menu.h b/src/gui/menu.h
index 3c6bad091..46373b45b 100644
--- a/src/gui/menu.h
+++ b/src/gui/menu.h
@@ -76,9 +76,9 @@ public:
 
 private:
   /// copy-construction not allowed
-  MenuItem(const MenuItem& other) { assert(false); }
+  MenuItem(const MenuItem& ) { assert(false); }
   /// assignment not allowed
-  void operator= (const MenuItem& other) { assert(false); }
+  void operator= (const MenuItem& ) { assert(false); }
 
   /// keyboard key or joystick button
   bool input_flickering;
@@ -144,7 +144,7 @@ public:
   std::vector<MenuItem*> items;
   
   Menu();
-  ~Menu();
+  virtual ~Menu();
   
   void add_hl();
   void add_label(const std::string& text);