From 69f79ffd6683ddb358e72743c95fa26fe5b55185 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 3 Dec 2019 21:29:51 +0000 Subject: [PATCH] black --- mythril/laser/ethereum/plugins/implementations/state_merge.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/mythril/laser/ethereum/plugins/implementations/state_merge.py b/mythril/laser/ethereum/plugins/implementations/state_merge.py index 1b400490..bc5f0a8c 100644 --- a/mythril/laser/ethereum/plugins/implementations/state_merge.py +++ b/mythril/laser/ethereum/plugins/implementations/state_merge.py @@ -175,7 +175,7 @@ class StateMerge(LaserPlugin): ): return False for v1, v2 in zip(state2.annotations, state1._annotations): - if v1.check_merge_annotation(v2) is False: # type: ignore + if v1.check_merge_annotation(v2) is False: # type: ignore return False return True @@ -187,7 +187,7 @@ class StateMerge(LaserPlugin): :return: """ for v1, v2 in zip(state1.annotations, state2.annotations): - v1.merge_annotations(v2) # type: ignore + v1.merge_annotations(v2) # type: ignore def check_ws_merge_condition(self, state1: WorldState, state2: WorldState): """