Fix for JDK 11+

romac · romac · commit 38d4846a0528 · 2019-07-24T17:41:29.000+02:00
diff --git a/core/src/main/scala/stainless/utils/StringUtils.scala b/core/src/main/scala/stainless/utils/StringUtils.scala
@@ -7,7 +7,7 @@ object StringUtils {
 
   def indent(text: String, spaces: Int): String = {
     val prefix = " " * spaces
-    text.lines.map(prefix ++ _).mkString("\n")
+    text.linesIterator.map(prefix ++ _).mkString("\n")
   }
 
 }

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ object StringUtils {`
`7`	`7`
`8`	`8`	`def indent(text: String, spaces: Int): String = {`
`9`	`9`	`val prefix = " " * spaces`
`10`		`- text.lines.map(prefix ++ _).mkString("\n")`
	`10`	`+ text.linesIterator.map(prefix ++ _).mkString("\n")`
`11`	`11`	`}`
`12`	`12`
`13`	`13`	`}`