More virtual destructors.

diff --git a/src/Sound/voiceplayer.hxx b/src/Sound/voiceplayer.hxx
index 762b9a36d266dcb2f2150d85b1280392b3361fdc..61b3e4975185fd5c5cdf8cc247a28a27bdd8307e 100644 (file)
--- a/src/Sound/voiceplayer.hxx
+++ b/src/Sound/voiceplayer.hxx
@@ -135,6 +135,7 @@ public:
     public:
         bool silence;
 
+        virtual ~Element() {}
         virtual inline void play (float volume) {}
         virtual inline void stop () {}
         virtual bool is_playing () = 0;
@@ -186,7 +187,7 @@ public:
     inline Voice (FGVoicePlayer *_player)
       : element(NULL), player(_player), volume(1.0) {}
 
-    ~Voice ();
+    virtual ~Voice ();
 
     inline void append (Element *_element) { elements.push_back(_element); }
 
@@ -229,7 +230,7 @@ public:
       dev_name(_dev_name), dir_prefix(""),
       speaker(this,properties_handler) {}
 
-  ~FGVoicePlayer ();
+  virtual ~FGVoicePlayer ();
 
   void init ();
   void pause();