fix(src/library/task_queue): remove spurious message

@gebner Could you please confirm this is a spurious message?
This commit is contained in:
Leonardo de Moura 2016-11-29 16:48:29 -08:00
parent b85ccefbff
commit 3617451775

View file

@ -51,7 +51,6 @@ bool generic_task_result_cell::execute() {
}
return true;
} catch (interrupted) {
std::cerr << "interrupted: " << m_desc << std::endl;
m_ex = std::make_exception_ptr(
task_cancellation_exception(generic_task_result(this)));
return false;