1 files changed, 0 insertions, 10 deletions
diff --git a/src/options/options_handler.cpp b/src/options/options_handler.cpp
index d5d61977c..060b7eeba 100644
--- a/src/options/options_handler.cpp
+++ b/src/options/options_handler.cpp
@@ -76,7 +76,6 @@ void OptionsHandler::setErrStream(const std::string& flag, const ManagedErr& me)
   Warning.setStream(me);
   CVC5Message.setStream(me);
   Notice.setStream(me);
-  Chat.setStream(me);
   Trace.setStream(me);
 }
 
@@ -136,15 +135,9 @@ void OptionsHandler::setVerbosity(const std::string& flag, int value)
     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(&cvc5::null_os);
-    } else {
-      ChatChannel.setStream(&std::cout);
-    }
     if(value < 1) {
       NoticeChannel.setStream(&cvc5::null_os);
     } else {
@@ -277,7 +270,6 @@ void OptionsHandler::setPrintSuccess(const std::string& flag, bool value)
   Debug.getStream() << Command::printsuccess(value);
   Trace.getStream() << Command::printsuccess(value);
   Notice.getStream() << Command::printsuccess(value);
-  Chat.getStream() << Command::printsuccess(value);
   CVC5Message.getStream() << Command::printsuccess(value);
   Warning.getStream() << Command::printsuccess(value);
   *d_options->base.out << Command::printsuccess(value);
@@ -361,7 +353,6 @@ void OptionsHandler::setDefaultExprDepth(const std::string& flag, int depth)
   Debug.getStream() << expr::ExprSetDepth(depth);
   Trace.getStream() << expr::ExprSetDepth(depth);
   Notice.getStream() << expr::ExprSetDepth(depth);
-  Chat.getStream() << expr::ExprSetDepth(depth);
   CVC5Message.getStream() << expr::ExprSetDepth(depth);
   Warning.getStream() << expr::ExprSetDepth(depth);
 }
@@ -371,7 +362,6 @@ void OptionsHandler::setDefaultDagThresh(const std::string& flag, int dag)
   Debug.getStream() << expr::ExprDag(dag);
   Trace.getStream() << expr::ExprDag(dag);
   Notice.getStream() << expr::ExprDag(dag);
-  Chat.getStream() << expr::ExprDag(dag);
   CVC5Message.getStream() << expr::ExprDag(dag);
   Warning.getStream() << expr::ExprDag(dag);
 }