summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/settings_gui.cpp1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/settings_gui.cpp b/src/settings_gui.cpp
index ee02055c9..b0bd09706 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"