diff --git a/src/smt/arith_eq_adapter.cpp b/src/smt/arith_eq_adapter.cpp
index b77a38927..f251d01ae 100644
--- a/src/smt/arith_eq_adapter.cpp
+++ b/src/smt/arith_eq_adapter.cpp
@@ -67,6 +67,8 @@ namespace smt {
             m_ge(ge) {
         }
 
+        ~arith_eq_relevancy_eh() override {}
+
         void operator()(relevancy_propagator & rp) override {
             if (!rp.is_relevant(m_n1))
                 return;
diff --git a/src/smt/smt_relevancy.h b/src/smt/smt_relevancy.h
index 8dea2842f..f6e3c4659 100644
--- a/src/smt/smt_relevancy.h
+++ b/src/smt/smt_relevancy.h
@@ -48,6 +48,7 @@ namespace smt {
         expr * m_target;
     public:
         simple_relevancy_eh(expr * t):m_target(t) {}
+        ~simple_relevancy_eh() override {}
         void operator()(relevancy_propagator & rp) override;
     };
     
@@ -60,6 +61,7 @@ namespace smt {
         expr * m_target;
     public:
         pair_relevancy_eh(expr * s1, expr * s2, expr * t):m_source1(s1), m_source2(s2), m_target(t) {}
+        ~pair_relevancy_eh() override {}
         void operator()(relevancy_propagator & rp) override;
     };