black

5 years ago · 69f79ffd66
parent 49023f25fe
commit 69f79ffd66
1 changed files with 2 additions and 2 deletions
--- 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):
        """