wip - local search - fix build

Z3Prover · Feb 15, 2023 · a1f73d3 · a1f73d3
1 parent 4f20b8e
commit a1f73d3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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;