From 9d5c20ecca52afd19c8a1cdc1ac5bc08e71d455d Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Sun, 1 Apr 2012 13:25:49 -0700 Subject: [PATCH] rt: rust_sched_launcher needs a virtual destructor --- src/rt/rust_sched_launcher.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/rt/rust_sched_launcher.h b/src/rt/rust_sched_launcher.h index 066b1b268130..d738b3d0ca0d 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;