From 2213f98176f7164f6722b06fe786c7242965b65e Mon Sep 17 00:00:00 2001
From: Maxime Coste <frrrwww@gmail.com>
Date: Sat, 25 Oct 2014 10:40:26 +0100
Subject: [PATCH] Add virtual destructor to Highlighter

---
 src/highlighter.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/highlighter.hh b/src/highlighter.hh
index 494abfff..8f41cc16 100644
--- a/src/highlighter.hh
+++ b/src/highlighter.hh
@@ -31,6 +31,7 @@ using HighlighterAndId = std::pair<String, std::unique_ptr<Highlighter>>;
 
 struct Highlighter
 {
+    virtual ~Highlighter() {}
     virtual void highlight(const Context& context, HighlightFlags flags, DisplayBuffer& display_buffer) = 0;
 
     virtual bool has_children() const { return false; }