Add include of cstdint to resolve definition of uint64_t (#927)

This resolves a compilation error experienced on Fedora 38 due to lack of type definition.
AliveToolkit · Jul 28, 2023 · 9a7504a · 9a7504a
1 parent 266de2b
commit 9a7504a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/smt/smt.h b/smt/smt.h
@@ -3,6 +3,7 @@
 // Copyright (c) 2018-present The Alive2 Authors.
 // Distributed under the MIT license that can be found in the LICENSE file.
 
+#include <cstdint>
 #include <string>
 
 namespace smt {

diff --git a/tools/alive_lexer.h b/tools/alive_lexer.h
@@ -3,6 +3,7 @@
 // Copyright (c) 2018-present The Alive2 Authors.
 // Distributed under the MIT license that can be found in the LICENSE file.
 
+#include <cstdint>
 #include <string>
 #include <string_view>