diff options
Diffstat (limited to 'src/proof/cnf_proof.cpp')
-rw-r--r-- | src/proof/cnf_proof.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/cnf_proof.cpp b/src/proof/cnf_proof.cpp index a8dc39765..5e5d55f63 100644 --- a/src/proof/cnf_proof.cpp +++ b/src/proof/cnf_proof.cpp @@ -17,7 +17,7 @@ ** \todo document this file **/ -#include "cnf_proof.h" +#include "proof/cnf_proof.h" using namespace CVC4::prop; namespace CVC4 { |