From ee9f3bd5e797e79c14d7b8464440ba59c03303e0 Mon Sep 17 00:00:00 2001 From: Dominik Muhs Date: Thu, 1 Nov 2018 18:18:59 +0100 Subject: [PATCH] Apply 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 941b57f6..2d0913b2 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -886,7 +886,9 @@ class Instruction: return self._sload_helper(global_state, str(index)) @staticmethod - def _sload_helper(global_state: GlobalState, index: Union[int, ExprRef], constraints=None): + def _sload_helper( + global_state: GlobalState, index: Union[int, ExprRef], constraints=None + ): try: data = global_state.environment.active_account.storage[index] except KeyError: