More dependency check-ups
[invirt/third/libt4.git] / paxos.cc
index f9d5785..b39fa5b 100644 (file)
--- a/paxos.cc
+++ b/paxos.cc
@@ -46,7 +46,7 @@ bool proposer_acceptor::run(unsigned instance, const nodes_t & cur_nodes, const
     }
     stable = false;
     bool r = false;
-    proposal.n = std::max(promise.n, proposal.n) + 1;
+    proposal.n = max(promise.n, proposal.n) + 1;
     nodes_t accepts;
     value_t v = newv;
     if (prepare(instance, accepts, cur_nodes, v)) {