From 0655e5d232df8dd4eeefd56edda94bf9ff37ead8 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 17 Jun 2019 18:28:17 +0530 Subject: [PATCH] Refactor with black --- mythril/laser/ethereum/instructions.py | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 6c3db7df..15975957 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1465,12 +1465,8 @@ class Instruction: new = symbol_factory.Bool(False) for keccak_key in keccak_keys: - key_argument = KeccakFunctionManager.get_argument( - keccak_key - ) - index_argument = KeccakFunctionManager.get_argument( - index - ) + key_argument = KeccakFunctionManager.get_argument(keccak_key) + index_argument = KeccakFunctionManager.get_argument(index) if key_argument.size() != index_argument.size(): continue