diff options
| author | Loïc Blot <nerzhul@users.noreply.github.com> | 2017-08-20 13:30:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-20 13:30:50 +0200 |
| commit | 1c1c97cbd1d7913ac12bf550ec02c97f843a0fd3 (patch) | |
| tree | 03dd0c39e323c7f0b1f06014ff30e74f429bfa01 /src/mainmenumanager.h | |
| parent | 50669cd2822a11570ae462972194eeb2d585a8c1 (diff) | |
| download | minetest-1c1c97cbd1d7913ac12bf550ec02c97f843a0fd3.tar.gz minetest-1c1c97cbd1d7913ac12bf550ec02c97f843a0fd3.tar.bz2 minetest-1c1c97cbd1d7913ac12bf550ec02c97f843a0fd3.zip | |
Modernize source code: last part (#6285)
* Modernize source code: last par
* Use empty when needed
* Use emplace_back instead of push_back when needed
* For range-based loops
* Initializers fixes
* constructors, destructors default
* c++ C stl includes
Diffstat (limited to 'src/mainmenumanager.h')
| -rw-r--r-- | src/mainmenumanager.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/mainmenumanager.h b/src/mainmenumanager.h index c9964a97e..ea9327813 100644 --- a/src/mainmenumanager.h +++ b/src/mainmenumanager.h @@ -48,9 +48,11 @@ class MainMenuManager : public IMenuManager public: virtual void createdMenu(gui::IGUIElement *menu) { +#ifndef NDEBUG for (gui::IGUIElement *i : m_stack) { assert(i != menu); } +#endif if(!m_stack.empty()) m_stack.back()->setVisible(false); |