From a7b7ad42e283a237b062db96cfbeeb4424eb8aa7 Mon Sep 17 00:00:00 2001
From: Adrian Bunk <bunk@debian.org>
Date: Fri, 29 Mar 2024 10:05:30 +0100
Subject: [PATCH] Add missing include for uint32_t.

---
 IfcPlusPlus/src/external/Carve/src/include/carve/rtree.hpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/IfcPlusPlus/src/external/Carve/src/include/carve/rtree.hpp b/IfcPlusPlus/src/external/Carve/src/include/carve/rtree.hpp
index e5f094591..b928bf4c9 100644
--- a/IfcPlusPlus/src/external/Carve/src/include/carve/rtree.hpp
+++ b/IfcPlusPlus/src/external/Carve/src/include/carve/rtree.hpp
@@ -32,6 +32,7 @@
 #include <iostream>
 
 #include <cmath>
+#include <cstdint>
 #include <limits>
 
 namespace carve {