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

chore(library/blast/state): trace msg

Browse source
This commit is contained in:
Leonardo de Moura 2015-12-09 07:13:19 -08:00
parent 273f6fc04c
commit aed0c7cccf
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/state.cpp
View file

@ -844,7 +844,7 @@ optional<unsigned> state::select_hypothesis_to_activate() {
void state::activate_hypothesis(hypothesis_idx hidx) {
lean_trace(name({"blast", "search"}),
hypothesis const & h = get_hypothesis_decl(hidx);
tout() << "activate: " << h.get_name() << " : " << ppb(h.get_type()) << "\n";);
tout() << "activate " << h.get_name() << " : " << ppb(h.get_type()) << "\n";);
m_branch.m_active.insert(hidx);
update_indices(hidx);
}