From d7150f210cbace6f4cd0fb6ab6b5728831230280 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 5 Dec 2015 16:52:41 -0800 Subject: [PATCH] fix(library/blast/trace): avoid unnecessary trace information --- src/library/blast/trace.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/blast/trace.cpp b/src/library/blast/trace.cpp index 93ad7536d..6d83708ff 100644 --- a/src/library/blast/trace.cpp +++ b/src/library/blast/trace.cpp @@ -39,7 +39,7 @@ void trace_action(char const * a) { } void trace_curr_state_if(action_result r) { - if (g_trace && !failed(r)) + if (g_trace && !failed(r) && !solved(r)) trace_curr_state(); }