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. ///