From a064f46413fc63f5187b18864b1ddcb2bdf6bca6 Mon Sep 17 00:00:00 2001
From: Derek Christ <dchrist@rhrk.uni-kl.de>
Date: Thu, 3 Aug 2023 15:04:02 +0200
Subject: [PATCH] Fix includes that cause build errors on some platforms

---
 src/simulator/simulator/Cache.h            | 1 +
 src/simulator/simulator/player/StlPlayer.h | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/simulator/simulator/Cache.h b/src/simulator/simulator/Cache.h
index dc9ff74e..bd9df4a6 100644
--- a/src/simulator/simulator/Cache.h
+++ b/src/simulator/simulator/Cache.h
@@ -38,6 +38,7 @@
 
 #include "MemoryManager.h"
 
+#include <cstdint>
 #include <list>
 #include <queue>
 #include <systemc>
diff --git a/src/simulator/simulator/player/StlPlayer.h b/src/simulator/simulator/player/StlPlayer.h
index 2e4b02d0..76d2586f 100644
--- a/src/simulator/simulator/player/StlPlayer.h
+++ b/src/simulator/simulator/player/StlPlayer.h
@@ -46,6 +46,7 @@
 #include <systemc>
 #include <tlm>
 
+#include <array>
 #include <fstream>
 #include <memory>
 #include <thread>