From 9f7604bd39cb81e7ab34b152a7067809fea872ac Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 17 Mar 2011 13:27:24 +0000
Subject: [PATCH] removed unneeded replacement of newlines, making debugging
much easier
git-svn-id: https://cobra.cs.uni-duesseldorf.de/prob/trunk/experimental/plagge/probkodkod@7391 7aec93f6-bc54-0410-ac70-7d7c9efa889a
---
test/de/stups/probkodkod/InteractionTestBase.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/test/de/stups/probkodkod/InteractionTestBase.java b/test/de/stups/probkodkod/InteractionTestBase.java
index fda7636..f000bc1 100644
--- a/test/de/stups/probkodkod/InteractionTestBase.java
+++ b/test/de/stups/probkodkod/InteractionTestBase.java
@@ -64,7 +64,7 @@ public class InteractionTestBase {
buf.append((char) c);
c = input.read();
}
- return buf.toString().replace('\n', ' ');
+ return buf.toString();
}
protected void testAll(final String name,
--
GitLab