diff options
| -rw-r--r-- | src/rt/rust_sched_launcher.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/rt/rust_sched_launcher.h b/src/rt/rust_sched_launcher.h index 066b1b26813..d738b3d0ca0 100644 --- a/src/rt/rust_sched_launcher.h +++ b/src/rt/rust_sched_launcher.h @@ -17,6 +17,7 @@ protected: public: rust_sched_launcher(rust_scheduler *sched, rust_srv *srv, int id); + virtual ~rust_sched_launcher() { } virtual void start() = 0; virtual void join() = 0; |