diff -r 3a35ce87a55c -r 4b5941730bd8 src/Pure/Concurrent/counter.scala
--- a/src/Pure/Concurrent/counter.scala	Fri Jul 05 22:58:24 2013 +0200
+++ b/src/Pure/Concurrent/counter.scala	Fri Jul 05 23:10:18 2013 +0200
@@ -13,7 +13,7 @@
 object Counter
 {
   type ID = Long
-  def apply(): Counter = new Counter
+  def make(): Counter = new Counter
 }
 
 final class Counter private