From 782cf0b4326e82e5a796a6fe1f416c55c00bb4c2 Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Fri, 7 Jun 2019 13:57:28 +0200 Subject: [PATCH] Remove unused import --- mythril/analysis/modules/integer.py | 1 - 1 file changed, 1 deletion(-) diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py index 23195653..2c687d3b 100644 --- a/mythril/analysis/modules/integer.py +++ b/mythril/analysis/modules/integer.py @@ -14,7 +14,6 @@ from mythril.laser.ethereum.util import get_concrete_int from mythril.laser.ethereum.state.annotation import StateAnnotation from mythril.analysis.modules.base import DetectionModule from copy import copy -from mythril.laser.smt import simplify from mythril.laser.smt import ( BVAddNoOverflow,