diff options
Diffstat (limited to 'src/proof/cnf_proof.h')
| -rw-r--r-- | src/proof/cnf_proof.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/proof/cnf_proof.h b/src/proof/cnf_proof.h index 675bd9b9d..e5a80b428 100644 --- a/src/proof/cnf_proof.h +++ b/src/proof/cnf_proof.h @@ -26,9 +26,8 @@ #include <iosfwd> #include "context/cdhashmap.h" +#include "proof/clause_id.h" #include "proof/sat_proof.h" -#include "proof/sat_proof.h" -#include "util/proof.h" #include "util/proof.h" namespace CVC4 { |