From 1b1e3109197b382dd1c5a03207125eb98280a912 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 24 Nov 2022 14:02:47 +0100
Subject: [PATCH] fix release build

---
 src/math/polysat/log.cpp | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/math/polysat/log.cpp b/src/math/polysat/log.cpp
index 143272300..1a3d8de8a 100644
--- a/src/math/polysat/log.cpp
+++ b/src/math/polysat/log.cpp
@@ -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();