mirror of
https://github.com/mhx/dwarfs.git
synced 2025-09-13 06:16:55 -04:00
One more override
This commit is contained in:
parent
df779a5cfd
commit
77a3c61bbe
@ -112,7 +112,7 @@ class basic_worker_group : public worker_group::impl, private Policy {
|
||||
/**
|
||||
* Check whether the worker group is still running
|
||||
*/
|
||||
bool running() const { return running_; }
|
||||
bool running() const override { return running_; }
|
||||
|
||||
/**
|
||||
* Add a new job to the worker group
|
||||
|
Loading…
x
Reference in New Issue
Block a user