quick fix for CI

duck2 · duck2 · commit c95b355a38b5 · 2023-11-11T15:23:29.000-05:00
diff --git a/libs/EXTERNAL/libcatch2/src/catch2/catch_test_case_info.hpp b/libs/EXTERNAL/libcatch2/src/catch2/catch_test_case_info.hpp
@@ -14,7 +14,7 @@
 #include <catch2/internal/catch_test_registry.hpp>
 #include <catch2/internal/catch_unique_ptr.hpp>
 
-
+#include <cstdint>
 #include <string>
 #include <vector>
 
diff --git a/libs/EXTERNAL/libcatch2/src/catch2/internal/catch_xmlwriter.cpp b/libs/EXTERNAL/libcatch2/src/catch2/internal/catch_xmlwriter.cpp
@@ -11,6 +11,7 @@
 #include <catch2/internal/catch_enforce.hpp>
 #include <catch2/internal/catch_xmlwriter.hpp>
 
+#include <cstdint>
 #include <iomanip>
 #include <type_traits>
 
diff --git a/libs/librtlnumber/src/include/rtl_utils.hpp b/libs/librtlnumber/src/include/rtl_utils.hpp
@@ -9,6 +9,7 @@
 #ifndef RTL_UTILS_H
 #define RTL_UTILS_H
 
+#include <cstdint>
 #include <string>
 #include <iostream>
 
