diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 4b2eeca1..dd3a6a39 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -983,8 +983,12 @@ class Instruction: for keccak_key in keccak_keys: key_argument = keccak_function_manager.get_argument(keccak_key) index_argument = keccak_function_manager.get_argument(index) - condition = (key_argument == index_argument) - condition = condition if type(condition) == bool else is_true(simplify(condition)) + condition = key_argument == index_argument + condition = ( + condition + if type(condition) == bool + else is_true(simplify(condition)) + ) if condition: return self._sstore_helper( copy(global_state),