| changeset 46712 | 8650d9a95736 |
| parent 46687 | 7e47ae85e161 |
| child 56685 | 535d59d4ed12 |
--- a/src/Pure/Concurrent/volatile.scala Mon Feb 27 16:56:25 2012 +0100 +++ b/src/Pure/Concurrent/volatile.scala Mon Feb 27 17:13:25 2012 +0100 @@ -14,7 +14,7 @@ } -class Volatile[A] private(init: A) +final class Volatile[A] private(init: A) { @volatile private var state: A = init def apply(): A = state