Add various missing includes

2023-07-03 23:34:52 +01:00
parent c0d47da4a7
commit d75c489466
46 changed files with 48 additions and 5 deletions
--- a/src/smallmap_gui.h
+++ b/src/smallmap_gui.h
@@ -18,6 +18,7 @@
 #include "linkgraph/linkgraph_gui.h"
 #include "widgets/smallmap_widget.h"
 #include "guitimer_func.h"
+#include <vector>

 static const int NUM_NO_COMPANY_ENTRIES = 4; ///< Number of entries in the owner legend that are not companies.