From f80eb6237d87c50e0fda941f68a436c48d3a111b Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Mon, 31 Jan 2022 15:29:25 +0100
Subject: [PATCH] includes shouldn't depend on debug/release mode

---
 src/math/polysat/log.h | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/src/math/polysat/log.h b/src/math/polysat/log.h
index 1d2e02d5b..dbd734b33 100644
--- a/src/math/polysat/log.h
+++ b/src/math/polysat/log.h
@@ -2,6 +2,12 @@
 #define POLYSAT_LOG_HPP
 
 
+#include <cstdint>
+#include <iostream>
+#include <string>
+#include "math/polysat/log_helper.h"
+
+
 // By default, enable logging only in debug mode
 #ifndef POLYSAT_LOGGING_ENABLED
 #   ifndef NDEBUG
@@ -15,11 +21,6 @@
 #if POLYSAT_LOGGING_ENABLED
 
 
-#include <cstdint>
-#include <iostream>
-#include <string>
-#include "math/polysat/log_helper.h"
-
 class polysat_log_indent
 {
   int m_amount;