diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 38a25c874..f9df954fa 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -3919,7 +3919,6 @@ namespace smt {
                 !m_manager.proofs_enabled() &&
                 m_units_to_reassert.size() < m_fparams.m_delay_units_threshold;
 
-            TRACE("conflict", tout << delay_forced_restart << "\n";);
             if (delay_forced_restart) {
                 new_lvl = conflict_lvl - 1;
             }