Rename namespace CVC4 to CVC5. (#6249)

1 files changed, 4 insertions, 4 deletions

diff --git a/src/prop/sat_solver.h b/src/prop/sat_solver.h
index 0cc20d2d2..f06171775 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 CVC4 {
+namespace CVC5 {
 
 namespace prop {
 
@@ -150,7 +150,7 @@ class CDCLTSatSolverInterface : public SatSolver
 
   virtual void initialize(context::Context* context,
                           prop::TheoryProxy* theoryProxy,
-                          CVC4::context::UserContext* userContext,
+                          CVC5::context::UserContext* userContext,
                           ProofNodeManager* pnm) = 0;
 
   virtual void push() = 0;
@@ -208,7 +208,7 @@ inline std::ostream& operator <<(std::ostream& out, prop::SatValue val) {
   return out;
 }
 
-}/* CVC4::prop namespace */
-}/* CVC4 namespace */
+}  // namespace prop
+}  // namespace CVC5
 
 #endif /* CVC4__PROP__SAT_MODULE_H */