test: fix certora

morpho-org · Dec 17, 2024 · a7c5031 · a7c5031
1 parent bd8a3b5
commit a7c5031
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/certora/helpers/MetaMorphoHarness.sol b/certora/helpers/MetaMorphoHarness.sol
@@ -2,18 +2,18 @@
 pragma solidity 0.8.26;
 
 import {
-    Math, MetaMorpho, Id, ConstantsLib, PendingUint192, PendingAddress, MarketConfig
+    Math, MetaMorphoV1_1, Id, ConstantsLib, PendingUint192, PendingAddress, MarketConfig
 } from "../munged/MetaMorphoV1_1.sol";
 
-contract MetaMorphoHarness is MetaMorpho {
+contract MetaMorphoHarness is MetaMorphoV1_1 {
     constructor(
         address owner,
         address morpho,
         uint256 initialTimelock,
         address _asset,
         string memory _name,
         string memory _symbol
-    ) MetaMorpho(owner, morpho, initialTimelock, _asset, _name, _symbol) {}
+    ) MetaMorphoV1_1(owner, morpho, initialTimelock, _asset, _name, _symbol) {}
 
     function pendingTimelock_() external view returns (PendingUint192 memory) {
         return pendingTimelock;