mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity

attempt to fix clang buildbots

Browse source
This commit is contained in:
Nuno Lopes 2023-08-20 13:39:15 +01:00
parent 28884b398c
commit c469c6e1d5
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/smt_relevancy.h
View file

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