From 4abdaa1f89b65b63adbb1b06f0dfed52460f80eb Mon Sep 17 00:00:00 2001
From: ernestognw <ernestognw@gmail.com>
Date: Tue, 15 Aug 2023 17:35:26 -0600
Subject: [PATCH] Update ERC3156FlashBorrowerHarness

---
 certora/harnesses/ERC3156FlashBorrowerHarness.sol | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/certora/harnesses/ERC3156FlashBorrowerHarness.sol b/certora/harnesses/ERC3156FlashBorrowerHarness.sol
index 81dfdaf31..1c76da2d4 100644
--- a/certora/harnesses/ERC3156FlashBorrowerHarness.sol
+++ b/certora/harnesses/ERC3156FlashBorrowerHarness.sol
@@ -1,6 +1,6 @@
 // SPDX-License-Identifier: MIT
 
-import "../patched/interfaces/IERC3156FlashBorrower.sol";
+import {IERC3156FlashBorrower} from "../patched/interfaces/IERC3156FlashBorrower.sol";
 
 pragma solidity ^0.8.20;