TC cleaning

3 years ago · a982bee235
parent 4b9500cf25
commit a982bee235
1 changed files with 0 additions and 7 deletions
--- a/certora/munged/governance/TimelockController.sol
+++ b/certora/munged/governance/TimelockController.sol
@ -353,11 +353,4 @@ contract TimelockController is AccessControl {
        emit MinDelayChange(_minDelay, newDelay);
        _minDelay = newDelay;
    }
    function scheduleCheck1(bytes32 id) public virtual onlyRole(PROPOSER_ROLE) {
        bool tmp = false;
        require(tmp);
    }
 }