src/Pure/Thy/thy_resources.scala

                       delay_nodes_status.invoke
                     }
 
                     val progress_percentage =
                       for {
-                        (name, node_status) <- nodes_status1.dest.iterator
+                        (name, node_status) <- nodes_status1.present.iterator
                         if changed.nodes.contains(name)
                         p1 = node_status.percentage
                         if p1 > 0 && Some(p1) != nodes_status.get(name).map(_.percentage)
                       } yield (name.theory, p1)