diff options
Diffstat (limited to 'src/proof/sat_proof.h')
-rw-r--r-- | src/proof/sat_proof.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/proof/sat_proof.h b/src/proof/sat_proof.h index 298b82624..a66ca2d00 100644 --- a/src/proof/sat_proof.h +++ b/src/proof/sat_proof.h @@ -34,11 +34,11 @@ #include "util/stats_histogram.h" // Forward declarations. -namespace CVC5 { +namespace cvc5 { class CnfProof; -} // namespace CVC5 +} // namespace cvc5 -namespace CVC5 { +namespace cvc5 { /** * Helper debugging functions */ @@ -369,6 +369,6 @@ template <class Solver> void toSatClause(const typename Solver::TClause& minisat_cl, prop::SatClause& sat_cl); -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__SAT__PROOF_H */ |