X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/f0dcb6b97d6d40f67698d1f71ac26970f1776f82..ebd5aef6dc92accb509b1cc67eaf72159f35cdfa:/paxos.h

diff --git a/paxos.h b/paxos.h
index f1123e6..2ddf583 100644
--- a/paxos.h
+++ b/paxos.h
@@ -14,7 +14,7 @@ using value_t = paxos_protocol::value_t;
 class paxos_change {
     public:
         virtual void paxos_commit(unsigned instance, const value_t & v) = 0;
-        virtual ~paxos_change() {}
+        virtual ~paxos_change();
 };
 
 extern bool isamember(const node_t & m, const nodes_t & nodes);