Merge pull request diffblue#8426 from ismaell/missing-cstdint

Include <cstdint> for int64_t
remi-delmas-3000 · Aug 26, 2024 · c193c27 · c193c27
2 parents 6752c40 + 2f93c6c
commit c193c27
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/src/solvers/smt2/smt2_conv.h b/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>

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
 {