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;