diff options
| -rw-r--r-- | include/klee/Core/Interpreter.h | 1 | ||||
| -rw-r--r-- | include/klee/Statistics/Statistic.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/include/klee/Core/Interpreter.h b/include/klee/Core/Interpreter.h index f14e3d88..04fdef88 100644 --- a/include/klee/Core/Interpreter.h +++ b/include/klee/Core/Interpreter.h @@ -9,6 +9,7 @@ #ifndef KLEE_INTERPRETER_H #define KLEE_INTERPRETER_H +#include <cstdint> #include <map> #include <memory> #include <set> diff --git a/include/klee/Statistics/Statistic.h b/include/klee/Statistics/Statistic.h index bbb67116..e675b067 100644 --- a/include/klee/Statistics/Statistic.h +++ b/include/klee/Statistics/Statistic.h @@ -10,6 +10,7 @@ #ifndef KLEE_STATISTIC_H #define KLEE_STATISTIC_H +#include <cstdint> #include <string> namespace klee { |