Merge pull request #8426 from ismaell/missing-cstdint

Include <cstdint> for int64_t

Author: tautschnig

src/solvers/smt2/smt2_conv.h

@@ -14,6 +14,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/std_expr.h>
 #include <util/threeval.h>
 
+#include <cstdint>
 #include <map>
 #include <set>
 #include <sstream>

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
 {