diff options
Diffstat (limited to 'src/proof/theory_proof.h')
-rw-r--r-- | src/proof/theory_proof.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/proof/theory_proof.h b/src/proof/theory_proof.h index d69ec5db9..375ec8205 100644 --- a/src/proof/theory_proof.h +++ b/src/proof/theory_proof.h @@ -16,15 +16,16 @@ ** **/ +#include "cvc4_private.h" #ifndef __CVC4__THEORY_PROOF_H #define __CVC4__THEORY_PROOF_H -#include "cvc4_private.h" -#include "util/proof.h" -#include "expr/expr.h" #include <ext/hash_set> -#include <iostream> +#include <iosfwd> + +#include "expr/expr.h" +#include "util/proof.h" namespace CVC4 { |