diff --git a/gui/Scyther/Trace.py b/gui/Scyther/Trace.py index 1f6718a..59522ca 100644 --- a/gui/Scyther/Trace.py +++ b/gui/Scyther/Trace.py @@ -214,6 +214,7 @@ class Run(object): self.eventList = [] self.intruder = False self.attack = None + self.variables = [] def __iter__(self): return iter(self.eventList)