diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 5056e082..b9936d45 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1282,7 +1282,11 @@ class Instruction: try: mem_out_start = helper.get_concrete_int(memory_out_offset) - mem_out_sz = memory_out_size if type(memory_out_size) == int else memory_out_size.as_long() + mem_out_sz = ( + memory_out_size + if type(memory_out_size) == int + else memory_out_size.as_long() + ) except TypeError: logging.debug("CALL with symbolic start or offset not supported") return [global_state]