diff -r 314246c6eeaa -r ff8c3c29a924 src/Pure/PIDE/batch_session.scala
--- a/src/Pure/PIDE/batch_session.scala	Sun Mar 12 19:06:10 2017 +0100
+++ b/src/Pure/PIDE/batch_session.scala	Mon Mar 13 12:04:11 2017 +0100
@@ -46,7 +46,7 @@
           val theories = session_info.theories.map({ case (_, opts, thys) => (opts, thys) })
           batch_session.build_theories_result =
             Some(Build.build_theories(prover_session, master_dir, theories))
-        case Session.Inactive | Session.Failed =>
+        case Session.Terminated(_) =>
           batch_session.session_result.fulfill_result(Exn.Exn(ERROR("Prover process terminated")))
         case Session.Shutdown =>
           batch_session.session_result.fulfill(())