diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-14 11:56:47 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-14 18:56:47 +0000 |
commit | e5c26181dab76704ad9a47126585fe2ec9d6cac2 (patch) | |
tree | 4f9d5a275091b73e825e0105be457c2b57f67d31 /src/proof | |
parent | b6db4446a28d498af8fb4e629392985dfe2a976c (diff) |
Rename public and private headers in src/include. (#6352)
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 |