From 8bff33dc82e1ebc35d26a9a68dcc2d20f3b64130 Mon Sep 17 00:00:00 2001 From: ccremers Date: Mon, 7 Aug 2006 16:40:46 +0000 Subject: [PATCH] - Updated Scyther interface. --- gui/Scyther.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/gui/Scyther.py b/gui/Scyther.py index 62025e0..10946a8 100755 --- a/gui/Scyther.py +++ b/gui/Scyther.py @@ -101,7 +101,7 @@ class Scyther(object): def __str__(self): if self.run: if self.errorcount > 0: - return "%i errors:\n%s" % (self.errorcount, "".join(self.errors)) + return "%i errors:\n%s" % (self.errorcount, "\n".join(self.errors)) else: s = "Claim results:\n" for cl in self.claims: