Add virtual destructor to Tool to avoid a warning

diff --git a/source/tool.h b/source/tool.h
index 1736e1c74f0f40207ebbc66f391bebbc7d59aba9..5f210654597f325185a6e5c26e3f9c965026ec97 100644 (file)
--- a/source/tool.h
+++ b/source/tool.h
@@ -18,8 +18,9 @@ protected:
        std::list<std::string> input_suffixes;
 
        Tool(Builder &, const std::string &);
-
 public:
+       virtual ~Tool() { }
+
        const std::string &get_tag() const { return tag; }
        const std::list<std::string> &get_input_suffixes() const { return input_suffixes; }
        bool accepts_suffix(const std::string &) const;