diff --git a/certora/helpers/MetaMorphoHarness.sol b/certora/helpers/MetaMorphoHarness.sol
index e9095bde..6f137328 100644
--- a/certora/helpers/MetaMorphoHarness.sol
+++ b/certora/helpers/MetaMorphoHarness.sol
@@ -2,10 +2,10 @@
 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,
@@ -13,7 +13,7 @@ contract MetaMorphoHarness is MetaMorpho {
         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;