diff options
Diffstat (limited to 'src/proof/proof_manager.cpp')
-rw-r--r-- | src/proof/proof_manager.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index 5ce615366..1d304eead 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -22,9 +22,7 @@ #include "options/bv_options.h" #include "options/proof_options.h" #include "proof/bitvector_proof.h" -#include "proof/clause_id.h" #include "proof/cnf_proof.h" -#include "proof/proof_utils.h" #include "proof/sat_proof_implementation.h" #include "proof/theory_proof.h" #include "smt/smt_engine.h" @@ -37,7 +35,6 @@ #include "theory/uf/theory_uf.h" #include "theory/valuation.h" #include "util/hash.h" -#include "util/proof.h" namespace CVC4 { |