diff options
| -rw-r--r-- | sources/scala/concurrent/pilib.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scala/concurrent/pilib.scala b/sources/scala/concurrent/pilib.scala index deac50e44d..546c105741 100644 --- a/sources/scala/concurrent/pilib.scala +++ b/sources/scala/concurrent/pilib.scala @@ -141,7 +141,7 @@ object pilib with Monitor { */ private def compare(s1: Sum, ss: List[Sum]): List[Sum] = ss match { - case Nil => ss ::: List(s1) + case Nil => ss ::: (s1 :: Nil) case s2 :: rest => matches(s1.gs, s2.gs) match { case None => s2 :: compare(s1, rest) case Some(Triple(log, c1, c2)) => { |