Update Carnot-Specs

This commit is contained in:
mjalalzai 2023-02-26 11:31:52 -08:00 committed by GitHub
parent 8bea2b4ab5
commit 210ab75ee2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -115,16 +115,10 @@ Utilities:
update_higQC(block.qc, block.aggQC)
if memberOfLeafCommittee(){ send(vote, parentCommittee)
reset()
tryToCommitGrandParent(block)
}
}
}