--- a/src/Pure/PIDE/session.scala Fri Nov 06 14:43:05 2015 +0100
+++ b/src/Pure/PIDE/session.scala Fri Nov 06 18:15:35 2015 +0100
@@ -24,7 +24,7 @@
class Outlet[A](dispatcher: Consumer_Thread[() => Unit])
{
- private val consumers = Synchronized(List.empty[Consumer[A]])
+ private val consumers = Synchronized[List[Consumer[A]]](Nil)
def += (c: Consumer[A]) { consumers.change(Library.update(c)) }
def -= (c: Consumer[A]) { consumers.change(Library.remove(c)) }
@@ -330,7 +330,7 @@
private object prover
{
- private val variable = Synchronized(None: Option[Prover])
+ private val variable = Synchronized[Option[Prover]](None)
def defined: Boolean = variable.value.isDefined
def get: Prover = variable.value.get