1 files changed, 1 insertions, 1 deletions
diff --git a/src/pool.h b/src/pool.h
index c3d701b9..85de73a9 100644
--- a/src/pool.h
+++ b/src/pool.h
@@ -84,7 +84,7 @@ public:
 
   explicit commodity_pool_t();
 
-  ~commodity_pool_t() {
+  virtual ~commodity_pool_t() {
     TRACE_DTOR(commodity_pool_t);
     foreach (commodities_map::value_type pair, commodities)
       checked_delete(pair.second);