From 527648f921e8d0aabffb906e82b184583b8e8bf7 Mon Sep 17 00:00:00 2001 From: Greg Farnum Date: Tue, 30 Mar 2010 13:59:27 -0700 Subject: [PATCH] msg: MMonPaxos has a private destructor --- src/messages/MMonPaxos.h | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/messages/MMonPaxos.h b/src/messages/MMonPaxos.h index f18083d9d05f7..309246add39f6 100644 --- a/src/messages/MMonPaxos.h +++ b/src/messages/MMonPaxos.h @@ -65,7 +65,11 @@ class MMonPaxos : public Message { op(o), machine_id(mid), first_committed(0), last_committed(0), pn_from(0), pn(0), uncommitted_pn(0), latest_version(0) { } - + +private: + ~MMonPaxos() {} + +public: const char *get_type_name() { return "paxos"; } void print(ostream& out) { -- 2.39.5