--- a/src/Pure/Tools/build.scala Sat Sep 08 22:52:12 2018 +0200
+++ b/src/Pure/Tools/build.scala Sun Sep 09 11:53:53 2018 +0200
@@ -170,7 +170,7 @@
private def loading_theory(msg: Prover.Protocol_Output): Boolean =
msg.properties match {
case Markup.Loading_Theory(name) =>
- progress.theory(session_name, name)
+ progress.theory(Progress.Theory(name, session = session_name))
true
case _ => false
}
@@ -291,7 +291,8 @@
process.result(
progress_stdout = (line: String) =>
Library.try_unprefix("\floading_theory = ", line) match {
- case Some(theory) => progress.theory(name, theory)
+ case Some(theory) =>
+ progress.theory(Progress.Theory(theory, session = name))
case None =>
for {
text <- Library.try_unprefix("\fexport = ", line)