virtual destructor for scheduler
This commit is contained in:
parent
b1c9a0d196
commit
3b7f54e64c
|
@ -100,6 +100,9 @@ protected:
|
||||||
scheduler() {}
|
scheduler() {}
|
||||||
|
|
||||||
public:
|
public:
|
||||||
|
/** Does nothing, this base class is empty. */
|
||||||
|
virtual ~scheduler() {}
|
||||||
|
|
||||||
/** A scheduler is not copy constructible. */
|
/** A scheduler is not copy constructible. */
|
||||||
scheduler(scheduler const &) = delete;
|
scheduler(scheduler const &) = delete;
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue