Deleted unused method from GovPreventLateQuorum

3 years ago · ca034ab3df
parent 75a3602ba6
commit ca034ab3df
1 changed files with 0 additions and 2 deletions
--- a/certora/specs/GovernorPreventLateQuorum.spec
+++ b/certora/specs/GovernorPreventLateQuorum.spec
@ -25,8 +25,6 @@ methods {
    hashOperationBatch(address[], uint256[], bytes[], bytes32, bytes32) => DISPATCHER(true)
    executeBatch(address[], uint256[], bytes[], bytes32, bytes32) => CONSTANT
    scheduleBatch(address[], uint256[], bytes[], bytes32, bytes32, uint256) => CONSTANT
-    // checkpoint length ERC721
-    numCheckpoints(address) returns uint32
 }