Rename namespace CVC4 to CVC5. (#6249)

1 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/strings/regexp_solver.h b/src/theory/strings/regexp_solver.h
index 50e58140d..d35a822a7 100644
--- a/src/theory/strings/regexp_solver.h
+++ b/src/theory/strings/regexp_solver.h
@@ -31,7 +31,7 @@
 #include "theory/strings/solver_state.h"
 #include "util/string.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace theory {
 namespace strings {
 
@@ -137,7 +137,7 @@ class RegExpSolver
       Node x, Node r, Node atom, bool& addedLemma, std::vector<Node>& nf_exp);
   Node getMembership(Node n, bool isPos, unsigned i);
   unsigned getNumMemberships(Node n, bool isPos);
-  CVC4::String getHeadConst(Node x);
+  CVC5::String getHeadConst(Node x);
   bool deriveRegExp(Node x, Node r, Node atom, std::vector<Node>& ant);
   Node getNormalSymRegExp(Node r, std::vector<Node>& nf_exp);
   // regular expression memberships
@@ -154,6 +154,6 @@ class RegExpSolver
 
 }  // namespace strings
 }  // namespace theory
-}  // namespace CVC4
+}  // namespace CVC5
 
 #endif /* CVC4__THEORY__STRINGS__THEORY_STRINGS_H */