From 13ee8da65968d3f111666032f27813eee51e9e66 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 18 Dec 2017 15:57:16 -0800
Subject: [PATCH] add virtual destructor to see if this helps ASan error

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_types.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/nlsat/nlsat_types.h b/src/nlsat/nlsat_types.h
index 8704f4444..488e16ae9 100644
--- a/src/nlsat/nlsat_types.h
+++ b/src/nlsat/nlsat_types.h
@@ -151,6 +151,7 @@ namespace nlsat {
     class solver_exception : public default_exception {
     public:
         solver_exception(char const * msg):default_exception(msg) {}
+        virtual ~solver_exception() {}
     };
 
     class assignment;