chore: update harness with new getter

DhairyaSethi · DhairyaSethi · commit 76fb6e704035 · 2025-01-06T16:14:23.000+05:30
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;
-  }
 }

Original file line number	Diff line number	Diff line change
`@@ -10,8 +10,4 @@ contract GhoCcipSteward_Harness is GhoCcipSteward {`
`10`	`10`	`address riskCouncil,`
`11`	`11`	`bool bridgeLimitEnabled`
`12`	`12`	`) GhoCcipSteward(ghoToken, ghoTokenPool, riskCouncil, bridgeLimitEnabled) {}`
`13`		`-`
`14`		`- function getCcipTimelocks() external view returns (CcipDebounce memory) {`
`15`		`- return _ccipTimelocks;`
`16`		`- }`
`17`	`13`	`}`