From 957b8ba7784d37a42be944cf4e694a500bf54310 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 27 Nov 2019 16:40:35 +0000 Subject: [PATCH] Remove unused imports --- .../ethereum/plugins/implementations/plugin_annotations.py | 1 - mythril/laser/ethereum/plugins/implementations/state_merge.py | 2 -- 2 files changed, 3 deletions(-) diff --git a/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py b/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py index b739debc..a3666062 100644 --- 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 diff --git a/mythril/laser/ethereum/plugins/implementations/state_merge.py b/mythril/laser/ethereum/plugins/implementations/state_merge.py index ee7d153e..c4824ca9 100644 --- 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__)