Rename namespace CVC4 to CVC5. (#6249)

1 files changed, 13 insertions, 14 deletions

diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp
index ee3242067..250fd98ac 100644
--- a/src/options/options_handler.cpp
+++ b/src/options/options_handler.cpp
@@ -38,7 +38,7 @@
 #include "options/smt_options.h"
 #include "options/theory_options.h"
 
-namespace CVC4 {
+namespace CVC5 {
 namespace options {
 
 // helper functions
@@ -505,26 +505,26 @@ InputLanguage OptionsHandler::stringToInputLanguage(std::string option,
 void OptionsHandler::setVerbosity(std::string option, int value)
 {
   if(Configuration::isMuzzledBuild()) {
-    DebugChannel.setStream(&CVC4::null_os);
-    TraceChannel.setStream(&CVC4::null_os);
-    NoticeChannel.setStream(&CVC4::null_os);
-    ChatChannel.setStream(&CVC4::null_os);
-    MessageChannel.setStream(&CVC4::null_os);
-    WarningChannel.setStream(&CVC4::null_os);
+    DebugChannel.setStream(&CVC5::null_os);
+    TraceChannel.setStream(&CVC5::null_os);
+    NoticeChannel.setStream(&CVC5::null_os);
+    ChatChannel.setStream(&CVC5::null_os);
+    MessageChannel.setStream(&CVC5::null_os);
+    WarningChannel.setStream(&CVC5::null_os);
   } else {
     if(value < 2) {
-      ChatChannel.setStream(&CVC4::null_os);
+      ChatChannel.setStream(&CVC5::null_os);
     } else {
       ChatChannel.setStream(&std::cout);
     }
     if(value < 1) {
-      NoticeChannel.setStream(&CVC4::null_os);
+      NoticeChannel.setStream(&CVC5::null_os);
     } else {
       NoticeChannel.setStream(&std::cout);
     }
     if(value < 0) {
-      MessageChannel.setStream(&CVC4::null_os);
-      WarningChannel.setStream(&CVC4::null_os);
+      MessageChannel.setStream(&CVC5::null_os);
+      WarningChannel.setStream(&CVC5::null_os);
     } else {
       MessageChannel.setStream(&std::cout);
       WarningChannel.setStream(&std::cerr);
@@ -542,6 +542,5 @@ void OptionsHandler::decreaseVerbosity(std::string option) {
   setVerbosity(option, options::verbosity());
 }
 
-
-}/* CVC4::options namespace */
-}/* CVC4 namespace */
+}  // namespace options
+}  // namespace CVC5