From a1f73d3805dfa2f32a8d30b36662ab02bb0ebfc8 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 15 Feb 2023 08:48:37 -0800
Subject: [PATCH] wip - local search - fix build

---
 src/sat/sat_ddfw.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/sat_ddfw.h b/src/sat/sat_ddfw.h
index 5d56c3adc..a681d75f5 100644
--- a/src/sat/sat_ddfw.h
+++ b/src/sat/sat_ddfw.h
@@ -33,6 +33,7 @@ namespace sat {
 
     class local_search_plugin {
     public:
+        virtual ~local_search_plugin() {}
         virtual void init_search() = 0;
         virtual void finish_search() = 0;
         virtual void flip(bool_var v) = 0;