Include <cstdint> for int64_t

ismaell · ismaell · commit 2f93c6ca6a61 · 2024-08-26T14:50:31.000+02:00
Signed-off-by: Ismael Luceno &lt;ismael@iodev.co.uk&gt;
diff --git a/src/solvers/smt2/smt2_conv.h b/src/solvers/smt2/smt2_conv.h
@@ -14,6 +14,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <util/std_expr.h>
 #include <util/threeval.h>
 
+#include <cstdint>
 #include <map>
 #include <set>
 #include <sstream>
diff --git a/src/util/dense_integer_map.h b/src/util/dense_integer_map.h
@@ -12,12 +12,13 @@ Author: Diffblue Ltd
 #ifndef CPROVER_UTIL_DENSE_INTEGER_MAP_H
 #define CPROVER_UTIL_DENSE_INTEGER_MAP_H
 
+#include <util/invariant.h>
+
+#include <cstdint>
 #include <limits>
 #include <unordered_set>
 #include <vector>
 
-#include <util/invariant.h>
-
 /// Identity functor. When we use C++20 this can be replaced with std::identity.
 class identity_functort
 {
