From ea463c0615685b0a06746c3f84aa496a95ce6947 Mon Sep 17 00:00:00 2001
From: Carles Fernandez <carles.fernandez@gmail.com>
Date: Mon, 12 Jan 2015 21:05:38 +0100
Subject: [PATCH] Destructor was not virtual

---
 src/core/receiver/control_thread.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/receiver/control_thread.h b/src/core/receiver/control_thread.h
index c54032989..43fd4b6fa 100644
--- a/src/core/receiver/control_thread.h
+++ b/src/core/receiver/control_thread.h
@@ -67,8 +67,8 @@ public:
      */
     ControlThread(std::shared_ptr<ConfigurationInterface> configuration);
 
-    //! \brief Virtual destructor. Derived classes must implement the destructor
-    virtual ~ControlThread();
+    //! \brief Destructor
+    ~ControlThread();
 
     /*! \brief Runs the control thread
      *