1 files changed, 2 insertions, 3 deletions
diff --git a/src/expr/record.cpp b/src/expr/record.cpp
index ed4e05567..affd2615c 100644
--- a/src/expr/record.cpp
+++ b/src/expr/record.cpp
@@ -19,11 +19,10 @@
 #include "base/check.h"
 #include "base/output.h"
 
-
-namespace CVC4 {
+namespace CVC5 {
 
 std::ostream& operator<<(std::ostream& out, const RecordUpdate& t) {
   return out << "[" << t.getField() << "]";
 }
 
-}/* CVC4 namespace */
+}  // namespace CVC5