diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 55ea9b3f..d5124425 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1380,7 +1380,6 @@ class Instruction: ) # type: Union[int, BitVec] except TypeError: # BitVec value_to_write = Extract(7, 0, value) - log.debug("MSTORE8 to mem[" + str(offset) + "]: " + str(value_to_write)) state.memory[offset] = value_to_write