changeset 68884 | 9b97d0b20d95 |
parent 68883 | 3653b3ad729e |
child 68888 | 4fe165254e20 |
--- a/src/Pure/Thy/thy_resources.scala Sun Sep 02 21:22:52 2018 +0200 +++ b/src/Pure/Thy/thy_resources.scala Sun Sep 02 22:30:08 2018 +0200 @@ -123,7 +123,7 @@ if (beyond_limit || dep_theories.forall(name => state.node_consolidated(version, name) || - nodes_status_update.value._1.is_terminated(name))) + nodes_status_update.value._1.quasi_consolidated(name))) { val nodes = for (name <- dep_theories)