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