From c6135a40d538daffa1dc9495df2103a66259c8e7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 26 Aug 2020 17:59:40 -0700 Subject: [PATCH] virtual Signed-off-by: Nikolaj Bjorner --- src/sat/smt/sat_smt.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/sat/smt/sat_smt.h b/src/sat/smt/sat_smt.h index 0937c34bb..ed085c07b 100644 --- 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.