quick fix for CI

verilog-to-routing · Nov 10, 2023 · 9ac21d6 · 9ac21d6
1 parent fe5d16f
commit 9ac21d6
Showing 1 changed file with 1 addition and 1 deletion.
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 <stdint.h>
 #include <string>
 #include <vector>