Include <cstdint> for int64_t

ismaell · ismaell · commit c74cc4d13ab3 · 2024-08-23T23:16:17.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
@@ -17,6 +17,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #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
@@ -15,6 +15,7 @@ Author: Diffblue Ltd
 #include <limits>
 #include <unordered_set>
 #include <vector>
+#include <cstdint>
 
 #include <util/invariant.h>
 
