From ae65d0a30d012042a61b685c554d54cb13493839 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 9 Jan 2007 16:11:58 +0000
Subject: [PATCH] - Fixed bug in new trace code.

---
 gui/Scyther/Trace.py | 1 +
 1 file changed, 1 insertion(+)

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)