From 5382ccd7d95b227e1a1875442eb2959d2786c8b5 Mon Sep 17 00:00:00 2001
From: Moritz Firsching <firsching@google.com>
Date: Wed, 4 Oct 2023 09:35:40 +0200
Subject: [PATCH] add cstdint include

---
 src/data/ibex_Cov.cpp | 1 +
 src/data/ibex_Cov.h   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/data/ibex_Cov.cpp b/src/data/ibex_Cov.cpp
index 1778bddc1..19d481cd1 100644
--- a/src/data/ibex_Cov.cpp
+++ b/src/data/ibex_Cov.cpp
@@ -13,6 +13,7 @@
 #include <sstream>
 #include <cassert>
 #include <string.h>
+#include <cstdint>
 
 using namespace std;
 
diff --git a/src/data/ibex_Cov.h b/src/data/ibex_Cov.h
index 639d077f8..90bcf94d2 100644
--- a/src/data/ibex_Cov.h
+++ b/src/data/ibex_Cov.h
@@ -17,6 +17,7 @@
 #include <vector>
 #include <fstream>
 #include <stack>
+#include <cstdint>
 
 namespace ibex {