From 522d4c5e2853779824caf953980ea50d41131a32 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 23 Apr 2015 17:53:21 +0200
Subject: [PATCH] Reporter prints prefix on every line
---
src/main/scala/leon/Reporter.scala | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/scala/leon/Reporter.scala b/src/main/scala/leon/Reporter.scala
index f9df38418..52fedd3a8 100644
--- a/src/main/scala/leon/Reporter.scala
+++ b/src/main/scala/leon/Reporter.scala
@@ -171,7 +171,7 @@ class DefaultReporter(debugSections: Set[DebugSection]) extends Reporter(debugSe
}
protected def reline(pfx: String, msg: String) : String = {
- pfx+" "+msg.replaceAll("\n", "\n" + (" " * prefixSize))
+ pfx+" "+msg.replaceAll("\n", s"\n$pfx ")
}
}
--
GitLab