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;