Add missing import (again?)

6 years ago · ba2ed3c1be
parent fada2c5b38
commit ba2ed3c1be
1 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@ -4,7 +4,7 @@ underflows."""
 import json

 from math import log2, ceil
-from typing import cast, List
+from typing import cast, List, Dict
 from mythril.analysis import solver
 from mythril.analysis.report import Issue
 from mythril.analysis.swc_data import INTEGER_OVERFLOW_AND_UNDERFLOW