tasks: delete task_manager::task::impl::_progress as it's unused

2023-06-23 20:43:51 +02:00
parent d624be4e6b
commit f63825151e
1 changed files with 0 additions and 1 deletions
--- a/tasks/task_manager.hh
+++ b/tasks/task_manager.hh
@@ -107,7 +107,6 @@ public:
        class impl {
        protected:
            status _status;
-            progress _progress;             // Reliable only for tasks with no descendants.
            task_id _parent_id;
            foreign_task_vector _children;
            shared_promise<> _done;