From d808e8544fa84183378f2000901be1f706da4700 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Sun, 18 Nov 2018 20:13:09 +0530 Subject: [PATCH] Reformat file with black --- mythril/laser/ethereum/instructions.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 19a8b29a..4cbc06c5 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -86,7 +86,9 @@ class StateTransition(object): global_state.mstate.check_gas() if isinstance(global_state.current_transaction.gas_limit, BitVecRef): try: - global_state.current_transaction.gas_limit = global_state.current_transaction.gas_limit.as_long() + global_state.current_transaction.gas_limit = ( + global_state.current_transaction.gas_limit.as_long() + ) except AttributeError: return if (