src/Pure/PIDE/protocol.scala
changeset 56353 ecbdfe30bf7f
parent 56352 abdc524db8b4
child 56355 1a9f569b5b7e
     1.1 --- a/src/Pure/PIDE/protocol.scala	Tue Apr 01 17:26:32 2014 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Tue Apr 01 17:29:47 2014 +0200
     1.3 @@ -48,10 +48,6 @@
     1.4      forks: Int,
     1.5      runs: Int)
     1.6    {
     1.7 -    def + (that: Status): Status =
     1.8 -      Status(touched || that.touched, accepted || that.accepted, failed || that.failed,
     1.9 -        forks + that.forks, runs + that.runs)
    1.10 -
    1.11      def is_unprocessed: Boolean = accepted && !failed && (!touched || (forks != 0 && runs == 0))
    1.12      def is_running: Boolean = runs != 0
    1.13      def is_finished: Boolean = !failed && touched && forks == 0 && runs == 0