diff --git a/src/settings_gui.cpp b/src/settings_gui.cpp
index ee02055c9f..b0bd09706d 100644
--- a/src/settings_gui.cpp
+++ b/src/settings_gui.cpp
@@ -32,6 +32,7 @@
 #include "viewport_func.h"
 #include "core/geometry_func.hpp"
 #include "ai/ai.hpp"
+#include <map>
 
 #include "table/sprites.h"
 #include "table/strings.h"