Merge branch 'refactor_integer_module' into berndtz_experimental

6 years ago · 88f6b7398e
parent 1c07ff29f9 ba2ed3c1be
commit 88f6b7398e
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