fix: import paths

Author: kasperpawlowski

certora/harnesses/ERC20Helper.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: GPL-2.0-or-later
 pragma solidity 0.8.26;
 
-import {SafeERC20, IERC20} from "../../lib/openzeppelin-contracts/contracts/token/ERC20/utils/SafeERC20.sol";
+import {SafeERC20, IERC20} from "openzeppelin-contracts/token/ERC20/utils/SafeERC20.sol";
 
 contract ERC20Helper {
     using SafeERC20 for IERC20;

certora/mocks/Token0.sol

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 pragma solidity >=0.8.21;
 
-import {ERC20} from "../../lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol";
+import {ERC20} from "openzeppelin-contracts/token/ERC20/ERC20.sol";
 
 contract Token0 is ERC20 {
    constructor() ERC20("Token0", "TOK0") {}

certora/mocks/VaultMock0.sol

@@ -7,7 +7,7 @@ import {
     ERC20,
     ERC4626,
     Math
-} from "../../lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC4626.sol";
+} from "openzeppelin-contracts/token/ERC20/extensions/ERC4626.sol";
 
 contract VaultMock0 is ERC4626 {
    constructor(IERC20 asset) ERC4626(asset) ERC20("VaultMock0", "V0") {}

certora/mocks/VaultMock1.sol

@@ -7,7 +7,7 @@ import {
     ERC20,
     ERC4626,
     Math
-} from "../../lib/openzeppelin-contracts/contracts/token/ERC20/extensions/ERC4626.sol";
+} from "openzeppelin-contracts/token/ERC20/extensions/ERC4626.sol";
 
 contract VaultMock1 is ERC4626 {
    constructor(IERC20 asset) ERC4626(asset) ERC20("VaultMock1", "V1") {}