X-Git-Url: http://xvm.mit.edu/gitweb/invirt/third/libt4.git/blobdiff_plain/03b35a9a1bd1f583e32b27d260b223a0989d6c75..3efa02fb3a9f0a0566a7f3c99a1efb94e30ea4a6:/paxos.h

diff --git a/paxos.h b/paxos.h
index 79924a3..20e249c 100644
--- a/paxos.h
+++ b/paxos.h
@@ -46,8 +46,7 @@ class proposer_acceptor {
         friend class log;
         class log l = {this, me};
 
-        void commit(unsigned instance, const value_t & v);
-        void commit(unsigned instance, const value_t & v, lock & pxs_mutex_lock);
+        void commit(unsigned instance, const value_t & v, lock & acceptor_mutex_lock);
 
         paxos_protocol::status preparereq(prepareres & r, const node_t & src, unsigned instance, prop_t n);
         paxos_protocol::status acceptreq(bool & r, const node_t & src, unsigned instance, prop_t n, const value_t & v);