From f914b28b4d4894700b02dcee6f48dc6972d89012 Mon Sep 17 00:00:00 2001 From: Quentin Garchery Date: Tue, 21 Nov 2023 10:03:51 +0100 Subject: [PATCH] fix: remove unnecessary accrueInterest harness function --- certora/harness/MorphoHarness.sol | 7 ------- 1 file changed, 7 deletions(-) diff --git a/certora/harness/MorphoHarness.sol b/certora/harness/MorphoHarness.sol index 0f4ac6ed6..8eac2f190 100644 --- a/certora/harness/MorphoHarness.sol +++ b/certora/harness/MorphoHarness.sol @@ -86,13 +86,6 @@ contract MorphoHarness is Morpho { return MathLib.mulDivDown(x, y, d); } - function accrueInterest(MarketParams memory marketParams) external { - Id id = marketParams.id(); - require(market[id].lastUpdate != 0, ErrorsLib.MARKET_NOT_CREATED); - - _accrueInterest(marketParams, id); - } - function isHealthy(MarketParams memory marketParams, address user) external view returns (bool) { return _isHealthy(marketParams, marketParams.id(), user); }