From 3efeb67861b49251be55c1ad9ad75fba30ba28f9 Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Wed, 30 Apr 2014 19:40:23 +0100
Subject: [PATCH] Fix Option destructor that was not virtual

---
 src/option_manager.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/option_manager.hh b/src/option_manager.hh
index 32382b68..d7e225fe 100644
--- a/src/option_manager.hh
+++ b/src/option_manager.hh
@@ -50,6 +50,8 @@ private:
 class Option
 {
 public:
+    virtual ~Option() = default;
+
     template<typename T> const T& get() const;
     template<typename T> void set(const T& val);
     template<typename T> bool is_of_type() const;