remove the paranthesis for as_list

6 years ago · 25346d32c1
parent 7656287409
commit 25346d32c1
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/transaction/symbolic.py
+++ b/mythril/laser/ethereum/transaction/symbolic.py
@ -133,7 +133,7 @@ def _setup_global_state_for_execution(laser_evm, transaction) -> None:
            )

        global_state.mstate.constraints += transaction.world_state.node.constraints
-        new_node.constraints = global_state.mstate.constraints.as_list()
+        new_node.constraints = global_state.mstate.constraints.as_list

    global_state.world_state.transaction_sequence.append(transaction)
    global_state.node = new_node