diff options
Diffstat (limited to 'src/base/exception.h')
| -rw-r--r-- | src/base/exception.h | 2 |
1 files changed, 0 insertions, 2 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" |