From 5506b7fd0823ad8e0dbf68c7d59ab1f694b33b3f Mon Sep 17 00:00:00 2001
From: ahmedmoselhi <ahmedmoselhi55@gmail.com>
Date: Sun, 9 Apr 2023 20:48:58 +0200
Subject: [PATCH] fix build error: "unknown type name uint32_t"

---
 Common/System/System.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Common/System/System.h b/Common/System/System.h
index 420fb54e3a..c4a352ff32 100644
--- a/Common/System/System.h
+++ b/Common/System/System.h
@@ -3,6 +3,7 @@
 #include <string>
 #include <vector>
 #include <functional>
+#include <stdint.h>
 
 // Platform integration