diff --git a/certora/munged/governance/TimelockController.sol b/certora/munged/governance/TimelockController.sol
index c6d30c665..da38df8f3 100644
--- 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);
-    }
 }