diff options
| -rw-r--r-- | lib/Core/ExternalDispatcher.h | 1 | ||||
| -rw-r--r-- | stp/AST/AST.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/lib/Core/ExternalDispatcher.h b/lib/Core/ExternalDispatcher.h index c173df73..d8d9dc58 100644 --- a/lib/Core/ExternalDispatcher.h +++ b/lib/Core/ExternalDispatcher.h @@ -12,6 +12,7 @@ #include <map> #include <string> +#include <stdint.h> namespace llvm { class ExecutionEngine; diff --git a/stp/AST/AST.h b/stp/AST/AST.h index 53ed7016..202f6598 100644 --- a/stp/AST/AST.h +++ b/stp/AST/AST.h @@ -27,6 +27,7 @@ #include "../sat/Solver.h" #include "../sat/SolverTypes.h" #include <cstdlib> +#include <stdint.h> #ifndef NATIVE_C_ARITH #include "../constantbv/constantbv.h" #endif |