src/Pure/PIDE/batch_session.scala
changeset 61276 8a4bd05c1735
parent 59892 2a616319c171
child 62296 b04a5ddd6121
     1.1 --- a/src/Pure/PIDE/batch_session.scala	Sun Sep 27 10:11:15 2015 +0200
     1.2 +++ b/src/Pure/PIDE/batch_session.scala	Tue Sep 29 13:54:04 2015 +0200
     1.3 @@ -24,7 +24,7 @@
     1.4      val parent_session =
     1.5        session_info.parent getOrElse error("No parent session for " + quote(session))
     1.6  
     1.7 -    if (Build.build(options, new Build.Console_Progress(verbose),
     1.8 +    if (Build.build(options, new Console_Progress(verbose),
     1.9          verbose = verbose, build_heap = true,
    1.10          dirs = dirs, sessions = List(parent_session)) != 0)
    1.11        new RuntimeException
    1.12 @@ -36,7 +36,7 @@
    1.13        new Resources(content.loaded_theories, content.known_theories, content.syntax)
    1.14      }
    1.15  
    1.16 -    val progress = new Build.Console_Progress(verbose)
    1.17 +    val progress = new Console_Progress(verbose)
    1.18  
    1.19      val prover_session = new Session(resources)
    1.20      val batch_session = new Batch_Session(prover_session)