src/Pure/PIDE/batch_session.scala

     val (_, session_tree) = Sessions.load(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))
 
-    if (!Build.build(options, new Console_Progress(verbose),
+    if (!Build.build(options, new Console_Progress(verbose = verbose),
         verbose = verbose, build_heap = true,
         dirs = dirs, sessions = List(parent_session)).ok)
       new RuntimeException
 
     val deps = Build.dependencies(verbose = verbose, tree = session_tree)

     {
       val content = deps(parent_session)
       new Resources(content.loaded_theories, content.known_theories, content.syntax)
     }
 
-    val progress = new Console_Progress(verbose)
+    val progress = new Console_Progress(verbose = verbose)
 
     val prover_session = new Session(resources)
     val batch_session = new Batch_Session(prover_session)
 
     val handler = new Build.Handler(progress, session)