3 files changed, 2 insertions, 2 deletions
diff --git a/src/context/cdlist.h b/src/context/cdlist.h
index cb5e552ac..0515d7126 100644
--- a/src/context/cdlist.h
+++ b/src/context/cdlist.h
@@ -20,6 +20,7 @@
 #ifndef CVC4__CONTEXT__CDLIST_H
 #define CVC4__CONTEXT__CDLIST_H
 
+#include <cstring>
 #include <iterator>
 #include <memory>
 #include <string>
diff --git a/src/context/context.cpp b/src/context/context.cpp
index 19be126f8..1313daa9a 100644
--- a/src/context/context.cpp
+++ b/src/context/context.cpp
@@ -16,6 +16,7 @@
 
 
 #include <iostream>
+#include <string>
 #include <vector>
 
 #include "base/check.h"
diff --git a/src/context/context.h b/src/context/context.h
index 15b4307b9..afec59747 100644
--- a/src/context/context.h
+++ b/src/context/context.h
@@ -20,10 +20,8 @@
 #define CVC4__CONTEXT__CONTEXT_H
 
 #include <cstdlib>
-#include <cstring>
 #include <iostream>
 #include <memory>
-#include <new>
 #include <typeinfo>
 #include <vector>