From 7c52359b0060e3e302e798755a3ab061f0a18f55 Mon Sep 17 00:00:00 2001 From: mehrdadn Date: Sun, 12 Apr 2020 13:29:48 -0700 Subject: [PATCH] Fix Windows build (#7987) Co-authored-by: Mehrdad --- src/ray/core_worker/task_manager.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ray/core_worker/task_manager.h b/src/ray/core_worker/task_manager.h index d9c74fd07..fea5e18c3 100644 --- a/src/ray/core_worker/task_manager.h +++ b/src/ray/core_worker/task_manager.h @@ -92,7 +92,7 @@ class TaskManager : public TaskFinisherInterface, public TaskResubmissionInterfa /// not already pending and was successfully resubmitted. /// \return OK if the task was successfully resubmitted or was /// already pending, Invalid if the task spec is no longer present. - Status ResubmitTask(const TaskID &task_id, std::vector *task_deps); + Status ResubmitTask(const TaskID &task_id, std::vector *task_deps) override; /// Wait for all pending tasks to finish, and then shutdown. ///