diff --git a/pyk/src/pyk/cterm/symbolic.py b/pyk/src/pyk/cterm/symbolic.py
index 17b492902d8..8953032f6c4 100644
--- a/pyk/src/pyk/cterm/symbolic.py
+++ b/pyk/src/pyk/cterm/symbolic.py
@@ -111,7 +111,7 @@ def execute(
                 cut_point_rules=cut_point_rules,
                 terminal_rules=terminal_rules,
                 module_name=module_name,
-                log_successful_rewrites=True,
+                log_successful_rewrites=self._trace_rewrites,
                 log_failed_rewrites=self._trace_rewrites,
             )
         except SmtSolverError as err: