From 36174517751c13b68ef8117ad385f7ded885a71d Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 29 Nov 2016 16:48:29 -0800
Subject: [PATCH] fix(src/library/task_queue): remove spurious message

@gebner Could you please confirm this is a spurious message?
---
 src/library/task_queue.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/library/task_queue.cpp b/src/library/task_queue.cpp
index d6bd3c1508..de77722e54 100644
--- a/src/library/task_queue.cpp
+++ b/src/library/task_queue.cpp
@@ -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;