From a3daaee2e0675a3fafef534d4a5c082f997c3116 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Thu, 1 Dec 2016 20:31:42 -0500
Subject: [PATCH] fix(library/mt_task_queue): reverse dependencies may already
 be queued

When we check whether the dependencies for a task have already been
evaluated and then accordingly move the task from waiting to queued, we
do not remove it from the reverse dependency lists it appears in.
---
 src/library/mt_task_queue.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/library/mt_task_queue.cpp b/src/library/mt_task_queue.cpp
index 41ffae93da..9b773f863d 100644
--- a/src/library/mt_task_queue.cpp
+++ b/src/library/mt_task_queue.cpp
@@ -125,6 +125,7 @@ void mt_task_queue::spawn_worker() {
                                         enqueue(rdep);
                                 }
                                 break;
+                            case task_result_state::QUEUED: break;
                             case task_result_state::FAILED: break;
                             default:
                                 lean_unreachable();