Fix interface in external testing code example

crytic · Mar 16, 2023 · daad62e · daad62e
1 parent b167773
commit daad62e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -80,15 +80,15 @@ 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";
 
 
 contract CryticERC20ExternalHarness is CryticERC20ExternalBasicProperties {   
     constructor() {
         // Deploy ERC20
-        token = ICryticTokenMock(address(new CryticTokenMock()));
+        token = ITokenMock(address(new CryticTokenMock()));
     }
 }