# HG changeset patch
# User wenzelm
# Date 1536508155 -7200
# Node ID 50676b0ab97044341e10ac7823181e625f1dc898
# Parent  22a3790eecaec6ef8edce442150270ca111194aa
tuned message (again);

diff -r 22a3790eecae -r 50676b0ab970 src/Pure/Thy/thy_resources.scala
--- a/src/Pure/Thy/thy_resources.scala	Sun Sep 09 13:48:20 2018 +0200
+++ b/src/Pure/Thy/thy_resources.scala	Sun Sep 09 17:49:15 2018 +0200
@@ -270,9 +270,9 @@
                       (for {
                         (name, node_status) <- nodes_status1.present.iterator
                         if changed.nodes.contains(name) && !st.already_committed.isDefinedAt(name)
-                        percentage = Some(node_status.percentage)
-                        if percentage != st.nodes_status.get(name).map(_.percentage)
-                      } yield Progress.Theory(name.theory, percentage = percentage)).toList
+                        p1 = node_status.percentage
+                        if p1 > 0 && Some(p1) != st.nodes_status.get(name).map(_.percentage)
+                      } yield Progress.Theory(name.theory, percentage = Some(p1))).toList
 
                     (theory_progress, st.update(nodes_status1))
                   })