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,