From 6f63749891e5e38e67506c68bca8c15d6108ea99 Mon Sep 17 00:00:00 2001
From: Eric Ngo <eric.ngo@consensys.net>
Date: Fri, 4 Oct 2019 21:33:00 -0700
Subject: [PATCH] Fixed mypy

---
 mythril/laser/ethereum/strategy/extensions/bounded_loops.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
index 94532a32..e1be2865 100644
--- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
+++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
@@ -14,7 +14,7 @@ class JumpdestCountAnnotation(StateAnnotation):
     """State annotation that counts the number of jumps per destination."""
 
     def __init__(self) -> None:
-        self._reached_count = {}  # type: Dict[int, int]
+        self._reached_count = {}  # type: Dict[str, int]
 
     def __copy__(self):
         result = JumpdestCountAnnotation()