- Remove ManagedSoundSource

[supertux.git] / src / gui / menu.cpp

diff --git a/src/gui/menu.cpp b/src/gui/menu.cpp
index c140804..e230b3d 100644 (file)
--- a/src/gui/menu.cpp
+++ b/src/gui/menu.cpp
@@ -194,12 +194,8 @@ Menu::~Menu()
   for(std::vector<MenuItem*>::iterator i = items.begin();
       i != items.end(); ++i)
     delete *i;
-#ifdef DEBUG
-  assert(current_ != this);
-#else
   if(current_ == this)
     current_ = NULL;
-#endif
 }
 
 Menu::Menu()