michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(library/blast/actions/recursor_action): trace recursor name

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-09 11:25:05 -08:00
parent 3f9549485f
commit a7f5d6603a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/blast/actions/recursor_action.cpp
View file

@ -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);
}