src/Pure/Concurrent/event_timer.scala
changeset 67010 cf56dd6f3ad1
parent 64370 865b39487b5d
child 67890 f4a505d6bc94
     1.1 --- a/src/Pure/Concurrent/event_timer.scala	Sun Nov 05 12:13:27 2017 +0100
     1.2 +++ b/src/Pure/Concurrent/event_timer.scala	Sun Nov 05 14:35:43 2017 +0100
     1.3 @@ -29,4 +29,3 @@
     1.4      new Request(time, task)
     1.5    }
     1.6  }
     1.7 -