From 19c12ca685e791dae45991de24d3fa6d7148241c Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Fri, 5 Apr 2019 13:38:21 +0200 Subject: [PATCH] make typehint compatible with 3.5 --- mythril/analysis/modules/state_change_external_calls.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/modules/state_change_external_calls.py b/mythril/analysis/modules/state_change_external_calls.py index 4ef94288..9bd067a5 100644 --- a/mythril/analysis/modules/state_change_external_calls.py +++ b/mythril/analysis/modules/state_change_external_calls.py @@ -126,7 +126,7 @@ class StateChange(DetectionModule): # Record state changes following from a transfer of ether if op_code in ("CALL", "DELEGATECALL", "CALLCODE"): - value: BitVec = global_state.mstate.stack[-3] + value = global_state.mstate.stack[-3] # type: BitVec if StateChange._balance_change(value, global_state): for annotation in annotations: annotation.state_change_states.append(global_state)