hashProposal summarization removed

3 years ago · a14abd0276
parent 0fbf745efe
commit a14abd0276
1 changed files with 1 additions and 1 deletions
--- a/certora/specs/GovernorBase.spec
+++ b/certora/specs/GovernorBase.spec
@ -24,7 +24,7 @@ methods {
    _pId_Harness() returns uint256 envfree;

    // function summarization
-    hashProposal(address[], uint256[], bytes[], bytes32) => CONSTANT
+    // hashProposal(address[], uint256[], bytes[], bytes32) => CONSTANT
    proposalThreshold() returns uint256 envfree

    getVotes(address, uint256) returns uint256 => DISPATCHER(true)