From befc533398be7102874e44890cf7b8a25cb94336 Mon Sep 17 00:00:00 2001
From: ThorstenB <brehmt@gmail.com>
Date: Sat, 19 Mar 2011 15:02:17 +0100
Subject: [PATCH] More virtual destructors.

---
 src/Sound/voiceplayer.hxx | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Sound/voiceplayer.hxx b/src/Sound/voiceplayer.hxx
index 762b9a36d..61b3e4975 100644
--- 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();
-- 
2.39.5