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

fix(library/blast/simple_strategy): tracing

Browse source
This commit is contained in:
Leonardo de Moura 2015-11-13 15:22:09 -08:00
parent ca4c078089
commit 6c038626f8
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/blast/simple_strategy.cpp
View file

@ -23,7 +23,9 @@ class simple_strategy {
enum status { NoAction, ClosedBranch, Continue };
void display_msg(char const * msg) {
ios().get_diagnostic_channel() << msg << "\n\n";
if (m_config.m_trace) {
ios().get_diagnostic_channel() << msg << "\n\n";
}
}
void display_action(char const * name) {