From 7e6571309e100ccc72d77da048cf424505791937 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Sat, 18 Mar 2023 14:02:22 +0100
Subject: [PATCH] fix

---
 src/math/polysat/conflict.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/math/polysat/conflict.cpp b/src/math/polysat/conflict.cpp
index 953b6fefa..ec303127e 100644
--- a/src/math/polysat/conflict.cpp
+++ b/src/math/polysat/conflict.cpp
@@ -132,10 +132,14 @@ namespace polysat {
 
     conflict::conflict(solver& s) : s(s) {
         // TODO: m_log_conflicts is always false even if "polysat.log_conflicts=true" is given on the command line
-        if (ENABLE_CONFLICTS_TXT || s.get_config().m_log_conflicts)
+#if ENABLE_CONFLICTS_TXT
+        if (true || s.get_config().m_log_conflicts)
             m_logger = alloc(file_inference_logger, s);
         else
             m_logger = alloc(dummy_inference_logger);
+#else
+        m_logger = alloc(dummy_inference_logger);
+#endif
         m_resolver = alloc(conflict_resolver, s);
     }