diff options
| -rw-r--r-- | src/settings_gui.cpp | 1 |
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" |