mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-14 23:05:26 +00:00
Code Activity

remove default constructor

Browse source
This commit is contained in:
Nuno Lopes 2025-08-03 09:52:53 +01:00
parent 89cc9bd333
commit 97aa46add3
1 changed files with 1 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/event_handler.h
View file

@ -28,9 +28,8 @@ enum event_handler_caller_t {
class event_handler { class event_handler {
protected: protected:
event_handler_caller_t m_caller_id; event_handler_caller_t m_caller_id = UNSET_EH_CALLER;
public: public:
event_handler(): m_caller_id(UNSET_EH_CALLER) {}
virtual ~event_handler() = default; virtual ~event_handler() = default;
virtual void operator()(event_handler_caller_t caller_id) = 0; virtual void operator()(event_handler_caller_t caller_id) = 0;
event_handler_caller_t caller_id() const { return m_caller_id; } event_handler_caller_t caller_id() const { return m_caller_id; }