diff -r 6f852a4c1b0e -r e84fb8b4245c src/Pure/Concurrent/counter.scala
--- a/src/Pure/Concurrent/counter.scala	Fri Nov 04 11:37:24 2016 +0100
+++ b/src/Pure/Concurrent/counter.scala	Fri Nov 04 13:27:31 2016 +0100
@@ -27,4 +27,3 @@
 
   override def toString: String = count.toString
 }
-