From a982bee2350a3414877db3324bb6883928085ec8 Mon Sep 17 00:00:00 2001
From: Aleksander Kryukov <firealexkryukov@gmail.com>
Date: Thu, 31 Mar 2022 21:07:01 +0100
Subject: [PATCH] TC cleaning

---
 certora/munged/governance/TimelockController.sol | 7 -------
 1 file changed, 7 deletions(-)

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);
-    }
 }