NoBey/openzeppelin-contracts
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Changed deltaWeight type from uint to uin256

Browse Source
This commit is contained in:
Michael M
2021-11-10 15:07:34 +02:00
committed by Aleksander Kryukov
parent 9b4634bebe
commit 5267eaac81
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
certora/harnesses/GovernorBasicHarness.sol
View File

@ -51,7 +51,7 @@ contract GovernorBasicHarness is Governor, GovernorCountingSimple, GovernorVotes
string memory reason
) internal override virtual returns (uint256) {
uint deltaWeight = super._castVote(proposalId, account, support, reason); //HARNESS
uint256 deltaWeight = super._castVote(proposalId, account, support, reason); //HARNESS
ghost_sum_vote_power_by_id[proposalId] += deltaWeight;
return deltaWeight;