X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fsupertux%2Foptions_menu.cpp;h=f77b3dd271b5ca8b66bbd1be798cbc38cc1e4fa2;hb=78ac7aef674f518549f96160c6354b589553f952;hp=e218a1037a7b1531bb88a7a0e6c3fee7d8c4be87;hpb=78bbf9473d795d9ea9221e38829a9bacfce00fa5;p=supertux.git

diff --git a/src/supertux/options_menu.cpp b/src/supertux/options_menu.cpp
index e218a1037..f77b3dd27 100644
--- a/src/supertux/options_menu.cpp
+++ b/src/supertux/options_menu.cpp
@@ -22,6 +22,7 @@
 #include "gui/menu.hpp"
 #include "gui/menu_item.hpp"
 #include "supertux/gameconfig.hpp"
+#include "supertux/globals.hpp"
 #include "supertux/main.hpp"
 #include "supertux/profile_menu.hpp"
 #include "supertux/language_menu.hpp"