diff --git a/certora/helpers/Util.sol b/certora/helpers/Util.sol
index b38f9e03..e713bd38 100644
--- a/certora/helpers/Util.sol
+++ b/certora/helpers/Util.sol
@@ -1,21 +1,11 @@
 // SPDX-License-Identifier: GPL-2.0-or-later
 pragma solidity 0.8.21;
 
-import {
-    MarketParams,
-    MarketParamsLib,
-    IERC20,
-    SafeERC20,
-    IMorphoHarness,
-    SharesMathLib,
-    Id,
-    Market
-} from "../munged/MetaMorpho.sol";
+import {IERC20, SafeERC20, IMorphoHarness, SharesMathLib, Id, Market} from "../munged/MetaMorpho.sol";
 
 contract Util {
     using SafeERC20 for IERC20;
     using SharesMathLib for uint256;
-    using MarketParamsLib for MarketParams;
 
     function balanceOf(address token, address user) external view returns (uint256) {
         return IERC20(token).balanceOf(user);
@@ -41,8 +31,4 @@ contract Util {
             return shares.toAssetsDown(market.totalSupplyAssets, market.totalSupplyShares);
         }
     }
-
-    function libId(MarketParams memory marketParams) external pure returns (Id) {
-        return marketParams.id();
-    }
 }