From ae5ee4b07dc3d3c792e7fe7f382ff490dd28aca4 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Wed, 21 Apr 2021 10:21:34 -0700 Subject: Goodbye CVC4, hello cvc5! (#6371) This commits changes the build system to cvc5 and removes the remaining occurrences of CVC4. It further cleans up outdated/unused scripts in contrib/. --- src/base/output.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/base/output.cpp') diff --git a/src/base/output.cpp b/src/base/output.cpp index d894add40..a4003efd0 100644 --- a/src/base/output.cpp +++ b/src/base/output.cpp @@ -26,10 +26,10 @@ namespace cvc5 { null_streambuf null_sb; ostream null_os(&null_sb); -NullC nullCvc4Stream; +NullC nullStream; -const std::string CVC5ostream::s_tab = " "; -const int CVC5ostream::s_indentIosIndex = ios_base::xalloc(); +const std::string Cvc5ostream::s_tab = " "; +const int Cvc5ostream::s_indentIosIndex = ios_base::xalloc(); DebugC DebugChannel(&cout); WarningC WarningChannel(&cerr); -- cgit v1.2.3