Reporter prints prefix on every line

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 ")
   }
 
 }