fix: remove unnecessary accrueInterest harness function

morpho-org · Nov 21, 2023 · f914b28 · f914b28
1 parent 610719a
commit f914b28
Showing 1 changed file with 0 additions and 7 deletions.
diff --git 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);
     }