--- a/src/Pure/Thy/thy_resources.scala Tue May 29 18:09:08 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala Tue May 29 20:00:10 2018 +0200
@@ -133,7 +133,7 @@
case Some(version) if dep_theories.forall(state.node_consolidated(version, _)) =>
val nodes =
for (name <- dep_theories)
- yield (name -> Protocol.node_status(state, version, name, version.nodes(name)))
+ yield (name -> Protocol.node_status(state, version, name))
try { result.fulfill(Theories_Result(state, version, nodes)) }
catch { case _: IllegalStateException => }
case _ =>