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;