tuned -- accommodate scala-2.13.0-RC3;
authorwenzelm
Sat Jun 01 21:43:03 2019 +0200 (6 weeks ago)
changeset 703019f2a6856b912
parent 70300 22c7eee0dd56
child 70302 9ea7081c3f03
tuned -- accommodate scala-2.13.0-RC3;
src/Pure/PIDE/prover.scala
src/Pure/System/tty_loop.scala
     1.1 --- a/src/Pure/PIDE/prover.scala	Sat Jun 01 13:53:23 2019 +0200
     1.2 +++ b/src/Pure/PIDE/prover.scala	Sat Jun 01 21:43:03 2019 +0200
     1.3 @@ -231,7 +231,7 @@
     1.4            }
     1.5            if (result.length > 0) {
     1.6              output(markup, Nil, List(XML.Text(Symbol.decode(result.toString))))
     1.7 -            result.length = 0
     1.8 +            result.clear
     1.9            }
    1.10            else {
    1.11              reader.close
     2.1 --- a/src/Pure/System/tty_loop.scala	Sat Jun 01 13:53:23 2019 +0200
     2.2 +++ b/src/Pure/System/tty_loop.scala	Sat Jun 01 21:43:03 2019 +0200
     2.3 @@ -29,7 +29,7 @@
     2.4          if (result.length > 0) {
     2.5            System.out.print(result.toString)
     2.6            System.out.flush()
     2.7 -          result.length = 0
     2.8 +          result.clear
     2.9          }
    2.10          else {
    2.11            reader.close()