Fix music not properly fading in again

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

diff --git a/src/gui/menu_manager.cpp b/src/gui/menu_manager.cpp
index a3c4b8e..32b6178 100644 (file)
--- a/src/gui/menu_manager.cpp
+++ b/src/gui/menu_manager.cpp
@@ -26,6 +26,7 @@
 #include "supertux/globals.hpp"
 #include "supertux/menu/menu_storage.hpp"
 #include "supertux/timer.hpp"
+#include "util/gettext.hpp"
 #include "util/log.hpp"
 #include "video/drawing_context.hpp"