From 7d0564a0fcb77195c0f5081bed57880204b448c4 Mon Sep 17 00:00:00 2001
From: Ismael Luceno <ismael@iodev.co.uk>
Date: Fri, 23 Aug 2024 23:09:45 +0200
Subject: [PATCH] Include <cstdint> for int64_t

Origin: Source Mage
Upstream-Status: Submitted [https://github.com/diffblue/cbmc/pull/8426]
Signed-off-by: Ismael Luceno <ismael@sourcemage.org>
---
 src/solvers/smt2/smt2_conv.h | 1 +
 src/util/dense_integer_map.h | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/solvers/smt2/smt2_conv.h b/src/solvers/smt2/smt2_conv.h
index a0c0382e3952..312abea4d695 100644
--- a/src/solvers/smt2/smt2_conv.h
+++ b/src/solvers/smt2/smt2_conv.h
@@ -17,6 +17,7 @@ #define CPROVER_SOLVERS_SMT2_SMT2_CONV_H
 #include <map>
 #include <set>
 #include <sstream>
+#include <cstdint>
 
 #if !HASH_CODE
 #  include <util/irep_hash_container.h>
diff --git a/src/util/dense_integer_map.h b/src/util/dense_integer_map.h
index 8160d80d079d..2237416ae8a1 100644
--- a/src/util/dense_integer_map.h
+++ b/src/util/dense_integer_map.h
@@ -15,6 +15,7 @@ #define CPROVER_UTIL_DENSE_INTEGER_MAP_H
 #include <limits>
 #include <unordered_set>
 #include <vector>
+#include <cstdint>
 
 #include <util/invariant.h>
 
-- 
2.44.0
Fixed up by sm-checkpatch 0.1


.