# HG changeset patch
# User wenzelm
# Date 1398203837 -7200
# Node ID 2d09b437c168b1de2592c86d7ad3ebc0e2146aa6
# Parent  f373fb77e0a4b5983648aebff0d059586b512c0b
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;

diff -r f373fb77e0a4 -r 2d09b437c168 src/Pure/Concurrent/future.scala
--- a/src/Pure/Concurrent/future.scala	Tue Apr 22 23:49:15 2014 +0200
+++ b/src/Pure/Concurrent/future.scala	Tue Apr 22 23:57:17 2014 +0200
@@ -68,7 +68,7 @@
     Exn.release {
       peek match {
         case Some(res) => res
-        case None => (evaluator !? ()).asInstanceOf[Exn.Result[A]]
+        case None => (evaluator !? (())).asInstanceOf[Exn.Result[A]]
       }
     }
 }
diff -r f373fb77e0a4 -r 2d09b437c168 src/Pure/General/scan.scala
--- a/src/Pure/General/scan.scala	Tue Apr 22 23:49:15 2014 +0200
+++ b/src/Pure/General/scan.scala	Tue Apr 22 23:57:17 2014 +0200
@@ -238,7 +238,7 @@
         var rest = in
         def try_parse[A](p: Parser[A]): Boolean =
         {
-          parse(p ^^^ (), rest) match {
+          parse(p ^^^ (()), rest) match {
             case Success(_, next) => { rest = next; true }
             case _ => false
           }