From 77a3c61bbe239f7d3cf303243b6e39403e2ed06c Mon Sep 17 00:00:00 2001
From: Marcus Holland-Moritz <github@mhxnet.de>
Date: Wed, 30 Dec 2020 12:55:14 +0100
Subject: [PATCH] One more override

---
 src/dwarfs/worker_group.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/dwarfs/worker_group.cpp b/src/dwarfs/worker_group.cpp
index d3f3f678..117411a2 100644
--- a/src/dwarfs/worker_group.cpp
+++ b/src/dwarfs/worker_group.cpp
@@ -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