diff --git a/src/smt/smt_relevancy.h b/src/smt/smt_relevancy.h
index 0fae815f9..c32eabc5d 100644
--- a/src/smt/smt_relevancy.h
+++ b/src/smt/smt_relevancy.h
@@ -24,6 +24,9 @@ namespace smt {
     class context;
     class relevancy_propagator;
 
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wnon-virtual-dtor"
+
     class relevancy_eh {
     protected:
         void mark_as_relevant(relevancy_propagator & rp, expr * n);
@@ -42,6 +45,7 @@ namespace smt {
         */
         virtual void operator()(relevancy_propagator & rp) = 0;
     };
+#pragma clang diagnostic pop
 
     class simple_relevancy_eh : public relevancy_eh {
         expr * m_target;