diff options
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/clause_id.h | 2 | ||||
| -rw-r--r-- | src/proof/cnf_proof.h | 2 | ||||
| -rw-r--r-- | src/proof/dot/dot_printer.h | 2 | ||||
| -rw-r--r-- | src/proof/proof_manager.h | 2 | ||||
| -rw-r--r-- | src/proof/sat_proof.h | 2 | ||||
| -rw-r--r-- | src/proof/sat_proof_implementation.h | 2 | ||||
| -rw-r--r-- | src/proof/unsat_core.h | 2 |
7 files changed, 7 insertions, 7 deletions
diff --git a/src/proof/clause_id.h b/src/proof/clause_id.h index 20b74b1a7..03a74fb59 100644 --- a/src/proof/clause_id.h +++ b/src/proof/clause_id.h @@ -16,7 +16,7 @@ * solver for a clause. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PROOF__CLAUSE_ID_H #define CVC5__PROOF__CLAUSE_ID_H diff --git a/src/proof/cnf_proof.h b/src/proof/cnf_proof.h index 19cd37679..50ce78eb8 100644 --- a/src/proof/cnf_proof.h +++ b/src/proof/cnf_proof.h @@ -13,7 +13,7 @@ * A manager for CnfProofs. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__CNF_PROOF_H #define CVC5__CNF_PROOF_H diff --git a/src/proof/dot/dot_printer.h b/src/proof/dot/dot_printer.h index 9aefcffff..368f84ccf 100644 --- a/src/proof/dot/dot_printer.h +++ b/src/proof/dot/dot_printer.h @@ -13,7 +13,7 @@ * The module for printing dot proofs. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PROOF__DOT__DOT_PRINTER_H #define CVC5__PROOF__DOT__DOT_PRINTER_H diff --git a/src/proof/proof_manager.h b/src/proof/proof_manager.h index 22c84db83..f0bc20fea 100644 --- a/src/proof/proof_manager.h +++ b/src/proof/proof_manager.h @@ -13,7 +13,7 @@ * A manager for Proofs. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__PROOF_MANAGER_H #define CVC5__PROOF_MANAGER_H diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index e5a76eee1..c55599584 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -13,7 +13,7 @@ * Resolution proof. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__SAT__PROOF_H #define CVC5__SAT__PROOF_H diff --git a/src/proof/sat_proof_implementation.h b/src/proof/sat_proof_implementation.h index 40ff7755d..686265326 100644 --- a/src/proof/sat_proof_implementation.h +++ b/src/proof/sat_proof_implementation.h @@ -13,7 +13,7 @@ * Resolution proof. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__SAT__PROOF_IMPLEMENTATION_H #define CVC5__SAT__PROOF_IMPLEMENTATION_H diff --git a/src/proof/unsat_core.h b/src/proof/unsat_core.h index 739a3d209..6810f5bad 100644 --- a/src/proof/unsat_core.h +++ b/src/proof/unsat_core.h @@ -13,7 +13,7 @@ * Representation of unsat cores. */ -#include "cvc4_private.h" +#include "cvc5_private.h" #ifndef CVC5__UNSAT_CORE_H #define CVC5__UNSAT_CORE_H |