From e2e54527db46f0fbcef8923873818c0ee08d8aa2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 2 Jun 2025 08:58:35 +0200
Subject: [PATCH] remove trace that accesses stale data #7668

---
 src/smt/smt_context.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 811abbd97..3afc40d81 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -2266,7 +2266,6 @@ namespace smt {
        contains a literal l where l.var() >= num_bool_vars.
     */
     void context::reinit_clauses(unsigned num_scopes, unsigned num_bool_vars) {
-        TRACE(reinit_clauses_bug, display_watch_lists(tout););
         if (m_clauses_to_reinit.empty())
             return;
         unsigned lim = m_scope_lvl + num_scopes;