diff --git a/README.md b/README.md index 589b7925..31ed6ff9 100644 --- a/README.md +++ b/README.md @@ -47,7 +47,6 @@ In file: solidity_examples/ether_send.sol:18 msg.sender.transfer(this.balance) - ``` If an input file contains multiple contract definitions, Mythril analyzes the *last* bytecode output produced by solc. You can override this by specifying the contract name explicitly: