From b2bbe2568a0a60977a03c9370e876c80a9595834 Mon Sep 17 00:00:00 2001 From: Nathan Date: Thu, 19 Sep 2019 20:30:08 -0400 Subject: [PATCH] Remove unused import --- mythril/laser/ethereum/instructions.py | 1 - 1 file changed, 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 46111773..2f1c7f03 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -6,7 +6,6 @@ import logging from copy import copy, deepcopy from typing import cast, Callable, List, Set, Union, Tuple, Any from datetime import datetime -from math import ceil from ethereum import utils from mythril.laser.smt import (