From 5d24e045d4de8335e2b97cea261ccc2854f0c445 Mon Sep 17 00:00:00 2001
From: Alexander Lochmann <alexander.lochmann@tu-dortmund.de>
Date: Mon, 11 Dec 2023 16:43:48 +0100
Subject: [PATCH] TaintConfigData need include cstdint for uint32_t

---
 include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h b/include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
index 99a3896f82..ba92829e59 100644
--- a/include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
+++ b/include/phasar/PhasarLLVM/TaintConfig/TaintConfigData.h
@@ -10,6 +10,7 @@
 #ifndef PHASAR_PHASARLLVM_TAINTCONFIG_TAINTCONFIGDATA_H
 #define PHASAR_PHASARLLVM_TAINTCONFIG_TAINTCONFIGDATA_H
 
+#include <cstdint>
 #include <string>
 #include <vector>