virtual

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Aug 27, 2020 · c6135a4 · c6135a4
1 parent 4ab35a9
commit c6135a4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/sat/smt/sat_smt.h b/src/sat/smt/sat_smt.h
@@ -63,6 +63,9 @@ namespace sat {
 
     class th_model_builder {
     public:
+
+        virtual ~th_model_builder() {}
+
         /**
            \brief compute the value for enode \c n and store the value in \c values 
            for the root of the class of \c n.