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