diff options
Diffstat (limited to 'src/util/exception.h')
| -rw-r--r-- | src/util/exception.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/util/exception.h b/src/util/exception.h index 5449d67f7..ff88b5d81 100644 --- a/src/util/exception.h +++ b/src/util/exception.h @@ -17,7 +17,6 @@ #define __CVC4__EXCEPTION_H #include <string> -#include <iostream> #include "cvc4_config.h" namespace CVC4 { |