2 files changed, 3 insertions, 1 deletions
diff --git a/lib/Core/MemoryManager.h b/lib/Core/MemoryManager.h
index cc2073d8..d7233a80 100644
--- a/lib/Core/MemoryManager.h
+++ b/lib/Core/MemoryManager.h
@@ -10,8 +10,9 @@
 #ifndef KLEE_MEMORYMANAGER_H
 #define KLEE_MEMORYMANAGER_H
 
+#include <cstddef>
 #include <set>
-#include <stdint.h>
+#include <cstdint>
 
 namespace llvm {
 class Value;
diff --git a/lib/Core/SeedInfo.h b/lib/Core/SeedInfo.h
index 0acb130b..1820ef23 100644
--- a/lib/Core/SeedInfo.h
+++ b/lib/Core/SeedInfo.h
@@ -20,6 +20,7 @@ extern "C" {
 namespace klee {
   class ExecutionState;
   class TimingSolver;
+  class MemoryObject;
 
   class SeedInfo {
   public: