mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-19 10:52:02 +00:00
Code Activity

remove unneeded virtual destructor (optimization)

Browse source
This commit is contained in:
Nuno Lopes 2023-08-20 12:57:47 +01:00
parent 3b546b2348
commit 28884b398c
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/smt/smt_relevancy.h
View file

@ -29,7 +29,6 @@ namespace smt {
void mark_as_relevant(relevancy_propagator & rp, expr * n); void mark_as_relevant(relevancy_propagator & rp, expr * n);
void mark_args_as_relevant(relevancy_propagator & rp, app * n); void mark_args_as_relevant(relevancy_propagator & rp, app * n);
public: public:
virtual ~relevancy_eh() = default;
/** /**
\brief This method is invoked when n is marked as relevant. \brief This method is invoked when n is marked as relevant.
*/ */
@ -41,7 +40,7 @@ namespace smt {
/** /**
\brief Fallback for the two previous methods. \brief Fallback for the two previous methods.
*/ */
virtual void operator()(relevancy_propagator & rp) {} virtual void operator()(relevancy_propagator & rp) = 0;
}; };
class simple_relevancy_eh : public relevancy_eh { class simple_relevancy_eh : public relevancy_eh {