Remove unused imports

6 years ago · 5e7009700a
parent 7778e5fd0c
commit 5e7009700a
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/plugins/mutation_pruner.py
+++ b/mythril/laser/ethereum/plugins/mutation_pruner.py
@ -5,7 +5,7 @@ from mythril.laser.ethereum.state.global_state import GlobalState
 from mythril.laser.ethereum.transaction.transaction_models import (
    ContractCreationTransaction,
 )
-from mythril.laser.smt import And, symbol_factory, Bool
+from mythril.laser.smt import And, symbol_factory


 class MutationAnnotation(StateAnnotation):