Set default list before super call

pull/554/head
Dominik Muhs 6 years ago
parent f2677aa1ee
commit 462388cab2
  1. 2
      mythril/laser/ethereum/state.py

@ -136,9 +136,9 @@ class MachineStack(list):
STACK_LIMIT = 1024
def __init__(self, default_list=None):
super(MachineStack, self).__init__(default_list)
if default_list is None:
default_list = []
super(MachineStack, self).__init__(default_list)
def append(self, element):
"""

Loading…
Cancel
Save