diff --git a/ostd/concurrency.hh b/ostd/concurrency.hh index 72ab494..7f625f4 100644 --- a/ostd/concurrency.hh +++ b/ostd/concurrency.hh @@ -100,6 +100,9 @@ protected: scheduler() {} public: + /** Does nothing, this base class is empty. */ + virtual ~scheduler() {} + /** A scheduler is not copy constructible. */ scheduler(scheduler const &) = delete;