| changeset 52537 | 4b5941730bd8 |
| parent 50845 | 477ca927676f |
| child 54005 | 132640f4c453 |
--- a/src/Pure/System/system_channel.scala Fri Jul 05 22:58:24 2013 +0200 +++ b/src/Pure/System/system_channel.scala Fri Jul 05 23:10:18 2013 +0200 @@ -31,7 +31,7 @@ private object Fifo_Channel { - private val next_fifo = Counter() + private val next_fifo = Counter.make() } private class Fifo_Channel extends System_Channel