about summary refs log tree commit diff homepage
path: root/include
diff options
context:
space:
mode:
Diffstat (limited to 'include')
-rw-r--r--include/klee/Core/Interpreter.h1
-rw-r--r--include/klee/Statistics/Statistic.h1
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 {