Better verbose printing

msoos · May 22, 2018 · f1e3e2a · f1e3e2a
1 parent 793904b
commit f1e3e2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/searcher.cpp b/src/searcher.cpp
@@ -1940,7 +1940,7 @@ lbool Searcher::burst_search()
     if (conf.verbosity) {
         cout
         << "c "
-        << conf.burst_search_len << "-long burst search "
+        << conf.burst_search_len << "-long burst search finished "
         << " learnt units:" << (stats.learntUnits - numUnitsUntilNow)
         << " learnt bins: " << (stats.learntBins - numBinsUntilNow)
         << solver->conf.print_times(time_used)