Simplifications and clean-ups

[invirt/third/libt4.git] / paxos.h

diff --git a/paxos.h b/paxos.h
index db18e6c..2ddf583 100644 (file)
--- 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);
@@ -66,7 +66,7 @@ class proposer_acceptor {
         unsigned instance() { return instance_h; }
         const value_t & value(unsigned instance) { return values[instance]; }
         string dump() { return l.dump(); }
-        void restore(const string &s) { l.restore(s); l.logread(); }
+        void restore(const string & s) { l.restore(s); l.logread(); }
         rpcs *get_rpcs() { return &pxs; }
 
         bool run(unsigned instance, const nodes_t & cnodes, const value_t & v);