From a1ee1ec4cce4ae978c2325dd76424c55edd9c882 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 21 May 2014 12:28:07 -0700
Subject: [PATCH] add virtal destructor to qe_sat

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/qe_sat_tactic.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/qe/qe_sat_tactic.cpp b/src/qe/qe_sat_tactic.cpp
index 854e15493..b4a1a6a8b 100644
--- a/src/qe/qe_sat_tactic.cpp
+++ b/src/qe/qe_sat_tactic.cpp
@@ -226,7 +226,7 @@ namespace qe {
             return alloc(sat_tactic, m);
         }
 
-        ~sat_tactic() {
+        virtual ~sat_tactic() {
             for (unsigned i = 0; i < m_solvers.size(); ++i) {
                 dealloc(m_solvers[i]);
             }