Refactor with black

6 years ago · 0655e5d232
parent f0e85bc0bb
commit 0655e5d232
1 changed files with 2 additions and 6 deletions
--- 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(
+            key_argument = KeccakFunctionManager.get_argument(keccak_key)
-                keccak_key
+            index_argument = KeccakFunctionManager.get_argument(index)
            )
            index_argument = KeccakFunctionManager.get_argument(
                index
            )
            if key_argument.size() != index_argument.size():
                continue