1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/nl/nonlinear_extension.h b/src/theory/arith/nl/nonlinear_extension.h
index bc8f48c26..b6fb53651 100644
--- a/src/theory/arith/nl/nonlinear_extension.h
+++ b/src/theory/arith/nl/nonlinear_extension.h
@@ -41,7 +41,7 @@
 #include "theory/theory.h"
 #include "util/result.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace eq {
   class EqualityEngine;
@@ -296,6 +296,6 @@ class NonlinearExtension
 }  // namespace nl
 }  // namespace arith
 }  // namespace theory
-}  // namespace CVC4
+}  // namespace CVC5
 
 #endif /* CVC4__THEORY__ARITH__NONLINEAR_EXTENSION_H */