Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/protocol.scala
changeset 50507 9605b0d93d1e
parent 50501 6f41f1646617
child 51293 05b1bbae748d 
--- a/src/Pure/PIDE/protocol.scala	Thu Dec 13 19:53:55 2012 +0100
+++ b/src/Pure/PIDE/protocol.scala	Fri Dec 14 12:09:08 2012 +0100
@@ -106,7 +106,7 @@
         val status = command_status(st.status)
         if (status.is_running) running += 1
         else if (status.is_finished) {
-          if (st.results.exists(p => is_warning(p._2))) warned += 1
+          if (st.results.entries.exists(p => is_warning(p._2))) warned += 1
           else finished += 1
         }
         else if (status.is_failed) failed += 1
isabelle