diff --git a/mythril/interfaces/cli.py b/mythril/interfaces/cli.py index c962f687..28507c5e 100644 --- a/mythril/interfaces/cli.py +++ b/mythril/interfaces/cli.py @@ -107,12 +107,12 @@ def main(): try: # the mythril object should be our main interface - # infura = None, rpc = None, rpctls = None, ipc = None, + # infura = None, rpc = None, rpctls = None # solc_args = None, dynld = None, max_recursion_depth = 12): mythril = Mythril(solv=args.solv, dynld=args.dynld, solc_args=args.solc_args) - if args.dynld and not (args.ipc or args.rpc or args.i): + if args.dynld and not (args.rpc or args.i): mythril.set_api_from_config_path() if args.address: