From d481d382cba3cc77a7b526853a26d385846a09a9 Mon Sep 17 00:00:00 2001
From: Jonathan G Rennison <j.g.rennison@gmail.com>
Date: Mon, 5 Jun 2023 20:14:52 +0100
Subject: [PATCH] Fix missing include in company_base.h

---
 src/company_base.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/company_base.h b/src/company_base.h
index d78c4f34c3..3c9fb97bb6 100644
--- a/src/company_base.h
+++ b/src/company_base.h
@@ -16,6 +16,7 @@
 #include "tile_type.h"
 #include "settings_type.h"
 #include "group.h"
+#include <array>
 #include <string>
 
 /** Statistics about the economy. */