mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-24 09:35:32 +00:00
Code Activity

fix release build

Browse source
This commit is contained in:
Jakob Rath 2022-11-24 14:02:47 +01:00
parent 3a92641ca0
commit 1b1e310919
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/math/polysat/log.cpp
View file

@ -24,6 +24,11 @@ Other:
- code diverges on coding conventions.
*/
char const* color_red() { return "\x1B[31m"; }
char const* color_yellow() { return "\x1B[33m"; }
char const* color_blue() { return "\x1B[34m"; }
char const* color_reset() { return "\x1B[0m"; }
#if POLYSAT_LOGGING_ENABLED
std::atomic<bool> g_log_enabled(true);
@ -58,11 +63,6 @@ bool polysat_should_log(LogLevel msg_level, std::string fn, std::string pretty_f
return msg_level <= max_log_level;
}
char const* color_red() { return "\x1B[31m"; }
char const* color_yellow() { return "\x1B[33m"; }
char const* color_blue() { return "\x1B[34m"; }
char const* color_reset() { return "\x1B[0m"; }
static char const* level_color(LogLevel msg_level) {
switch (msg_level) {
case LogLevel::Heading1: return color_red();