Merge pull request #15 from 0xmichalis/doc-fix

Fix interface in external testing code example
crytic · Mar 23, 2023 · e47e55e · e47e55e
2 parents 91ef906 + daad62e
commit e47e55e
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()));
     }
 }