From ba2ed3c1be73321340ad8e0eec39d25a461ec0e2 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 7 Jun 2019 16:12:10 +0200 Subject: [PATCH] Add missing import (again?) --- mythril/analysis/modules/integer.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 4aa9b567..81732b02 100644 --- 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