From 0f1b68e093dfe0357adf400ea7b4746f09fb4cba Mon Sep 17 00:00:00 2001
From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Sun, 29 Jul 2018 20:46:44 +0100
Subject: Fix missing includes and declarations

---
 lib/Core/MemoryManager.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib/Core/MemoryManager.h')

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;
-- 
cgit 1.4.1