From 0b58eab1e6f4c9f0c60bcf27377ad8175fc32828 Mon Sep 17 00:00:00 2001
From: Marcus Holland-Moritz <github@mhxnet.de>
Date: Wed, 25 Nov 2020 14:55:46 +0100
Subject: [PATCH] Move worker_group dtor to header

---
 include/dwarfs/worker_group.h | 2 +-
 src/dwarfs/worker_group.cpp   | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/include/dwarfs/worker_group.h b/include/dwarfs/worker_group.h
index 3ff84d07..5b6d14c7 100644
--- a/include/dwarfs/worker_group.h
+++ b/include/dwarfs/worker_group.h
@@ -59,7 +59,7 @@ class worker_group {
                size_t max_num_workers = 1,
                size_t max_queue_len = std::numeric_limits<size_t>::max());
 
-  ~worker_group();
+  ~worker_group() = default;
 
   void stop() { impl_->stop(); }
   void wait() { impl_->wait(); }
diff --git a/src/dwarfs/worker_group.cpp b/src/dwarfs/worker_group.cpp
index e3c1fbd2..bc8d707b 100644
--- a/src/dwarfs/worker_group.cpp
+++ b/src/dwarfs/worker_group.cpp
@@ -315,6 +315,4 @@ worker_group::worker_group(load_adaptive_tag, const char* group_name,
     : impl_{std::make_unique<basic_worker_group<load_adaptive_policy>>(
           group_name, max_num_workers, max_queue_len, max_num_workers)} {}
 
-worker_group::~worker_group() = default;
-
 } // namespace dwarfs