3 files changed, 1 insertions, 4 deletions
diff --git a/src/base/exception.h b/src/base/exception.h
index 1ce2ae757..5e40336ac 100644
--- a/src/base/exception.h
+++ b/src/base/exception.h
@@ -19,12 +19,10 @@
 #ifndef __CVC4__EXCEPTION_H
 #define __CVC4__EXCEPTION_H
 
-#include <cstdarg>
 #include <cstdlib>
 #include <exception>
 #include <iosfwd>
 #include <sstream>
-#include <stdexcept>
 #include <string>
 
 #include "base/tls.h"
diff --git a/src/base/output.cpp b/src/base/output.cpp
index b89e5cff5..84182a864 100644
--- a/src/base/output.cpp
+++ b/src/base/output.cpp
@@ -16,6 +16,7 @@
 
 #include "base/output.h"
 
+#include <cstdarg>
 #include <iostream>
 
 using namespace std;
diff --git a/src/base/output.h b/src/base/output.h
index cdc0ac27f..30ac3f476 100644
--- a/src/base/output.h
+++ b/src/base/output.h
@@ -19,12 +19,10 @@
 #ifndef __CVC4__OUTPUT_H
 #define __CVC4__OUTPUT_H
 
-#include <ios>
 #include <iostream>
 #include <streambuf>
 #include <string>
 #include <cstdio>
-#include <cstdarg>
 #include <set>
 #include <utility>