diff options
| author | Brian Anderson <banderson@mozilla.com> | 2012-04-01 13:25:49 -0700 |
|---|---|---|
| committer | Brian Anderson <banderson@mozilla.com> | 2012-04-01 13:25:49 -0700 |
| commit | 9d5c20ecca52afd19c8a1cdc1ac5bc08e71d455d (patch) | |
| tree | c5174c387f5495c40f406120bd6f0938d9e5f32c /src/rt | |
| parent | ac0381c0bb429cf24ccd5763f6fc79324fa4f189 (diff) | |
| download | rust-9d5c20ecca52afd19c8a1cdc1ac5bc08e71d455d.tar.gz rust-9d5c20ecca52afd19c8a1cdc1ac5bc08e71d455d.zip | |
rt: rust_sched_launcher needs a virtual destructor
Diffstat (limited to 'src/rt')
| -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; |