When submitting a contract to mythx the extension prompts for the contract name. In case there is only one contract it might jus auto-select the one contract instead of waiting for the user to select it.
steps to reproduce:
open a new file with only one contract
click the mythx button to submit it for analysis
mythx-vscode asks for the contract (there is only one)
When submitting a contract to mythx the extension prompts for the contract name. In case there is only one contract it might jus auto-select the one contract instead of waiting for the user to select it.
steps to reproduce: