Skip to content

Commit

Permalink
Fixed PR comments.
Browse files Browse the repository at this point in the history
  • Loading branch information
brunoffranca committed Jul 8, 2024
1 parent 6b73a47 commit 288c1db
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions spec/informal-spec/replica.rs
Original file line number Diff line number Diff line change
Expand Up @@ -218,7 +218,7 @@ fn on_timeout(self, sig_vote: SignedTimeoutVote) {

// Check if we now have a timeout QC for this view.
if let Some(qc) = self.get_timeout_qc(sig_vote.view()) {
self.process_commit_qc(qc.high_qc());
self.process_commit_qc(qc.high_commit_qc);
self.high_timeout_qc = max(Some(qc), self.high_timeout_qc);
self.start_new_view(sig_vote.view() + 1);
}
Expand All @@ -235,7 +235,7 @@ fn on_new_view(self, new_view: NewView) {
match new_view.justification {
Commit(qc) => self.process_commit_qc(Some(qc)),
Timeout(qc) => {
self.process_commit_qc(qc.high_qc());
self.process_commit_qc(qc.high_commit_qc);
self.high_timeout_qc = max(Some(qc), self.high_timeout_qc);
}
};
Expand Down
2 changes: 1 addition & 1 deletion spec/informal-spec/types.rs
Original file line number Diff line number Diff line change
Expand Up @@ -77,7 +77,7 @@ impl Justification {

// Get the high commit QC of the timeout QC. We compare the high QC field of
// all timeout votes in the QC, and get the highest one, if it exists.
let high_qc: Option<CommitQC> = qc.high_qc();
let high_qc: Option<CommitQC> = qc.high_commit_qc;

if high_vote.is_some()
&& (high_qc.is_none() || high_vote.block_number > high_qc.block_number)
Expand Down

0 comments on commit 288c1db

Please sign in to comment.