Remove unused imports

5 years ago · 957b8ba778
parent b593d01ec9
commit 957b8ba778
2 changed files with 0 additions and 3 deletions
--- a/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py
+++ b/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py
@ -1,5 +1,4 @@
 from mythril.laser.ethereum.state.annotation import StateAnnotation
-from mythril.laser.smt import If

 from copy import copy
 from typing import Dict, List, Set
--- a/mythril/laser/ethereum/plugins/implementations/state_merge.py
+++ b/mythril/laser/ethereum/plugins/implementations/state_merge.py
@ -2,10 +2,8 @@ from copy import copy
 from typing import Dict, List
 from mythril.laser.ethereum.svm import LaserEVM
 from mythril.laser.ethereum.plugins.plugin import LaserPlugin
-from mythril.laser.smt import symbol_factory, simplify, Or
 from mythril.laser.ethereum.state.world_state import WorldState
 import logging
-import z3

 log = logging.getLogger(__name__)