1 files changed, 4 insertions, 4 deletions
diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h
index 829ad18a4..6a9353474 100644
--- a/src/decision/decision_strategy.h
+++ b/src/decision/decision_strategy.h
@@ -25,13 +25,13 @@
 #include "prop/sat_solver_types.h"
 #include "smt/term_formula_removal.h"
 
-namespace CVC4 {
+namespace CVC5 {
 
 class DecisionEngine;
 
 namespace context {
   class Context;
-}/* CVC4::context namespace */
+  }  // namespace context
 
 namespace decision {
 
@@ -65,7 +65,7 @@ public:
   virtual void addSkolemDefinition(TNode lem, TNode skolem) = 0;
 };/* class ITEDecisionStrategy */
 
-}/* CVC4::decision namespace */
-}/* CVC4 namespace */
+}  // namespace decision
+}  // namespace CVC5
 
 #endif /* CVC4__DECISION__DECISION_STRATEGY_H */