1 files changed, 4 insertions, 4 deletions
diff --git a/src/decision/decision_engine.h b/src/decision/decision_engine.h
index 2e7eaaa76..7405498b5 100644
--- a/src/decision/decision_engine.h
+++ b/src/decision/decision_engine.h
@@ -28,10 +28,10 @@
 #include "prop/sat_solver_types.h"
 #include "util/result.h"
 
-using namespace CVC4::prop;
-using namespace CVC4::decision;
+using namespace CVC5::prop;
+using namespace CVC5::decision;
 
-namespace CVC4 {
+namespace CVC5 {
 
 class DecisionEngine {
 
@@ -160,6 +160,6 @@ class DecisionEngine {
   std::unique_ptr<ITEDecisionStrategy> d_enabledITEStrategy;
 };/* DecisionEngine class */
 
-}/* CVC4 namespace */
+}  // namespace CVC5
 
 #endif /* CVC4__DECISION__DECISION_ENGINE_H */