From c469c6e1d5a2188859f33faaa4a78c349bf8119a Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 20 Aug 2023 13:39:15 +0100
Subject: [PATCH] attempt to fix clang buildbots

---
 src/smt/smt_relevancy.h | 4 ++++
 1 file changed, 4 insertions(+)

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;