| changeset 45248 | 3b7b64b194ee |
| parent 45158 | db4bf4fb5492 |
| child 45633 | 2cb7e34f6096 |
--- a/src/Pure/System/session.scala Sat Oct 22 20:18:01 2011 +0200 +++ b/src/Pure/System/session.scala Sat Oct 22 23:28:24 2011 +0200 @@ -104,7 +104,7 @@ def phase = _phase def is_ready: Boolean = phase == Session.Ready - private val global_state = new Volatile(Document.State.init) + private val global_state = Volatile(Document.State.init) def current_state(): Document.State = global_state() def snapshot(name: Document.Node.Name = Document.Node.Name.empty,