diff options
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index ad042d398..6ee0c7572 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -40,13 +40,13 @@ namespace std { namespace CVC4 {} using namespace CVC4; -#include <iostream> -#include <vector> +#include <cassert> +#include <ext/hash_map> +#include <iosfwd> #include <set> #include <string> -#include <ext/hash_map> #include <typeinfo> -#include <cassert> +#include <vector> #include "base/exception.h" #include "base/modal_exception.h" |