diff options
Diffstat (limited to 'src/prop/sat_solver.h')
-rw-r--r-- | src/prop/sat_solver.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h index f06171775..1f59a7bd6 100644 --- a/src/prop/sat_solver.h +++ b/src/prop/sat_solver.h @@ -30,7 +30,7 @@ #include "prop/sat_solver_types.h" #include "util/statistics_registry.h" -namespace CVC5 { +namespace cvc5 { namespace prop { @@ -150,7 +150,7 @@ class CDCLTSatSolverInterface : public SatSolver virtual void initialize(context::Context* context, prop::TheoryProxy* theoryProxy, - CVC5::context::UserContext* userContext, + cvc5::context::UserContext* userContext, ProofNodeManager* pnm) = 0; virtual void push() = 0; @@ -209,6 +209,6 @@ inline std::ostream& operator <<(std::ostream& out, prop::SatValue val) { } } // namespace prop -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__PROP__SAT_MODULE_H */ |