diff options
Diffstat (limited to 'src/base/output.cpp')
| -rw-r--r-- | src/base/output.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/output.cpp b/src/base/output.cpp index 9e0e452f2..d894add40 100644 --- a/src/base/output.cpp +++ b/src/base/output.cpp @@ -28,8 +28,8 @@ ostream null_os(&null_sb); NullC nullCvc4Stream; -const std::string CVC4ostream::s_tab = " "; -const int CVC4ostream::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); |