Attempt to fix mypy error

pull/1125/head
Bernhard Mueller 5 years ago
parent 94177c5164
commit cbde4c69b8
  1. 2
      mythril/analysis/modules/dos.py

@ -18,7 +18,7 @@ class VisitsAnnotation(StateAnnotation):
"""State annotation that stores the addresses of state-modifying operations"""
def __init__(self) -> None:
self.loop_start = None
self.loop_start = None # type: int
self.jump_targets = {} # type: Dict[int, int]
def __copy__(self):

Loading…
Cancel
Save