diff options
| author | Determinant <[email protected]> | 2018-09-11 22:51:19 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2018-09-11 22:51:19 -0400 |
| commit | b730a496b39d1ecef3763c07dc8f82a3f86c07fb (patch) | |
| tree | 4ae2679cacbfd372e4811fd971da6aa93b4fc1c1 /src/hotstuff.cpp | |
| parent | fcdf89a2c36d3dc985d47ce46235c42d74123c5e (diff) | |
...
Diffstat (limited to 'src/hotstuff.cpp')
| -rw-r--r-- | src/hotstuff.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hotstuff.cpp b/src/hotstuff.cpp index 99ab80f..1912946 100644 --- a/src/hotstuff.cpp +++ b/src/hotstuff.cpp @@ -410,6 +410,7 @@ void HotStuffBase::do_vote(ReplicaID last_proposer, const Vote &vote) { } void HotStuffBase::do_decide(Finality &&fin) { + part_decided++; state_machine_execute(fin); auto it = decision_waiting.find(fin.cmd_hash); if (it != decision_waiting.end()) |