From 3b7f54e64c592b80c2e392724b84ce2b46c679d7 Mon Sep 17 00:00:00 2001
From: q66 <daniel@octaforge.org>
Date: Mon, 3 Apr 2017 18:20:43 +0200
Subject: [PATCH] virtual destructor for scheduler

---
 ostd/concurrency.hh | 3 +++
 1 file changed, 3 insertions(+)

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;