From a7f5d6603a6971a0a9124999a3e8ef7472ebbb72 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 9 Dec 2015 11:25:05 -0800 Subject: [PATCH] feat(library/blast/actions/recursor_action): trace recursor name --- src/library/blast/actions/recursor_action.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/blast/actions/recursor_action.cpp b/src/library/blast/actions/recursor_action.cpp index b590a7a8c..1fa21cd4a 100644 --- a/src/library/blast/actions/recursor_action.cpp +++ b/src/library/blast/actions/recursor_action.cpp @@ -290,7 +290,7 @@ action_result recursor_action(hypothesis_idx hidx, name const & R) { return action_result::failed(); // ill-formed recursor save_state.commit(); - trace_action("recursor"); + lean_trace(name({"blast", "action"}), tout() << "recursor " << R << "\n";); if (new_goals.empty()) { return action_result::solved(rec); }