From 2ff5adf040c41c2b85b724aded8c9fff3f715413 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Tue, 30 Jan 2007 17:43:58 +0000
Subject: [PATCH] - Minor cleanup on Scyther output parser.

---
 gui/Scyther/Scyther.py | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/gui/Scyther/Scyther.py b/gui/Scyther/Scyther.py
index c1c06c5..761d8b6 100755
--- a/gui/Scyther/Scyther.py
+++ b/gui/Scyther/Scyther.py
@@ -280,13 +280,13 @@ class Scyther(object):
                 # them.
                 if line.startswith("claim\t"):
                     # Claims are lost, reconstructed from the XML output
-                    continue
-                if line.startswith("warning"):
+                    pass
+                elif line.startswith("warning"):
                     # Warnings are stored seperately
                     self.warnings.append(line)
-                    continue
-                # otherwise it is an error
-                self.errors.append(line)
+                else:
+                    # otherwise it is an error
+                    self.errors.append(line)
 
         self.errorcount = len(self.errors)
         if self.errorcount > 0: