From ad2c97a4df624514a8889b1b2e2ded4eacc1a3bb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 26 Sep 2025 23:05:21 +0300
Subject: [PATCH] remove debug

---
 src/smt/theory_lra.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index fd13d1575..6876d363c 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -3477,9 +3477,6 @@ public:
             set_evidence(ev.ci(), m_core, m_eqs);
         if (m_eqs.empty() && all_of(m_core, [&](literal l) { return ctx().get_assignment(l) == l_false; }))
             is_conflict = true;
-        for (auto l : m_core) {
-            verbose_stream() << l << " " << ctx().get_assignment(l) << "\n";
-        }
         TRACE(arith_conflict,
               tout << "@" << ctx().get_scope_level() << (is_conflict ? " conflict":" lemma");
               for (auto const& p : m_params) tout << " " << p;