1 files changed, 5 insertions, 5 deletions
diff --git a/src/theory/bv/slicer.h b/src/theory/bv/slicer.h
index 49c3cfaa7..56ed0ecba 100644
--- a/src/theory/bv/slicer.h
+++ b/src/theory/bv/slicer.h
@@ -23,7 +23,7 @@
 #include <vector>
 #include "util/index.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace bv {
 
@@ -47,10 +47,10 @@ public:
     }
     return true; 
   }
-}; 
+};
 
-}/* CVC4::theory::bv namespace */
-}/* CVC4::theory namespace */
-}/* CVC4 namespace */
+}  // namespace bv
+}  // namespace theory
+}  // namespace CVC5
 
 #endif /* CVC4__THEORY__BV__SLICER_BV_H */