diff -r 9ce697050455 -r 2a616319c171 src/Pure/PIDE/batch_session.scala
--- a/src/Pure/PIDE/batch_session.scala	Wed Apr 01 15:41:08 2015 +0200
+++ b/src/Pure/PIDE/batch_session.scala	Wed Apr 01 16:24:38 2015 +0200
@@ -19,7 +19,7 @@
     session: String): Batch_Session =
   {
     val (_, session_tree) =
-      Build.find_sessions(options, dirs).selection(false, false, Nil, List(session))
+      Build.find_sessions(options, dirs).selection(sessions = List(session))
     val session_info = session_tree(session)
     val parent_session =
       session_info.parent getOrElse error("No parent session for " + quote(session))