From daad62edf9868bb6de3f975d9c65bb870e625bde Mon Sep 17 00:00:00 2001 From: Michalis Kargakis Date: Thu, 16 Mar 2023 15:33:20 +0100 Subject: [PATCH] Fix interface in external testing code example --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 07b0fe2..6a77456 100644 --- a/README.md +++ b/README.md @@ -80,7 +80,7 @@ In the `CryticERC20ExternalHarness` contract you can specify which properties to ```Solidity pragma solidity ^0.8.0; import "./MyToken.sol"; -import {ICryticTokenMock} from "@crytic/properties/contracts/ERC20/external/util/ITokenMock.sol"; +import {ITokenMock} from "@crytic/properties/contracts/ERC20/external/util/ITokenMock.sol"; import {CryticERC20ExternalBasicProperties} from "@crytic/properties/contracts/ERC20/external/properties/ERC20ExternalBasicProperties.sol"; import {PropertiesConstants} from "@crytic/properties/contracts/util/PropertiesConstants.sol"; @@ -88,7 +88,7 @@ import {PropertiesConstants} from "@crytic/properties/contracts/util/PropertiesC contract CryticERC20ExternalHarness is CryticERC20ExternalBasicProperties { constructor() { // Deploy ERC20 - token = ICryticTokenMock(address(new CryticTokenMock())); + token = ITokenMock(address(new CryticTokenMock())); } }