[fix] Update header

misonijnik · Dec 5, 2022 · 5b5825f · 5b5825f
1 parent db0ec33
commit 5b5825f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/include/klee/Module/KType.h b/include/klee/Module/KType.h
@@ -1,6 +1,9 @@
 #ifndef KLEE_KTYPE_H
 #define KLEE_KTYPE_H
 
+#include <stddef.h>
+#include <stdint.h>
+
 #include <unordered_map>
 #include <vector>
 namespace llvm {