From 59dffe97f7a8be06be25c41ac56780a817044d81 Mon Sep 17 00:00:00 2001 From: e-ngo Date: Wed, 7 Aug 2019 15:57:37 -0700 Subject: [PATCH] Ran black --- mythril/laser/ethereum/instructions.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index d53b033d..37e90acd 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1176,7 +1176,9 @@ class Instruction: if address.value not in world_state.accounts: code_hash = symbol_factory.BitVecVal(0, 256) else: - code = world_state.accounts_exist_or_load(hex(address.value), self.dynamic_loader) + code = world_state.accounts_exist_or_load( + hex(address.value), self.dynamic_loader + ) code_hash = symbol_factory.BitVecVal(int(get_code_hash(code), 16), 256) stack.append(code_hash) return [global_state]