Resolve merge conflict

6 years ago · 5fb3ac98c6
parent 0e71d2c335
commit 5fb3ac98c6
1 changed files with 0 additions and 1 deletions
--- a/mythril/interfaces/cli.py
+++ b/mythril/interfaces/cli.py
@ -429,7 +429,6 @@ def execute_command(
        max_depth=args.max_depth,
        execution_timeout=args.execution_timeout,
        loop_bound=args.loop_bound,
-        execution_timeout=timeout,
        create_timeout=args.create_timeout,
        enable_iprof=args.enable_iprof,
        onchain_storage_access=not args.no_onchain_storage_access,