chore: update harness with new getter

aave · Jan 6, 2025 · 9c2bd24 · 9c2bd24
1 parent 5c7abac
commit 9c2bd24
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/certora/steward/harness/GhoCcipSteward_Harness.sol b/certora/steward/harness/GhoCcipSteward_Harness.sol
@@ -10,8 +10,4 @@ contract GhoCcipSteward_Harness is GhoCcipSteward {
     address riskCouncil,
     bool bridgeLimitEnabled
   ) GhoCcipSteward(ghoToken, ghoTokenPool, riskCouncil, bridgeLimitEnabled) {}
-
-  function getCcipTimelocks() external view returns (CcipDebounce memory) {
-    return _ccipTimelocks;
-  }
 }