From e833c2ca2d89763160ad855d6b2fd6452c62449b Mon Sep 17 00:00:00 2001
From: Daniel Richman <main@danielrichman.co.uk>
Date: Fri, 10 Apr 2015 12:16:32 +0100
Subject: [PATCH] Extractor: add virtual destructor

---
 habitat/Extractor.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/habitat/Extractor.h b/habitat/Extractor.h
index e5db481..3427ebc 100644
--- a/habitat/Extractor.h
+++ b/habitat/Extractor.h
@@ -49,6 +49,7 @@ protected:
     friend void ExtractorManager::add(Extractor &e);
 
 public:
+    virtual ~Extractor() {};
     virtual void skipped(int n) = 0;
     virtual void push(char b, enum push_flags flags) = 0;
 };