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/Build/build_job.scala
changeset 83260 b7072c97e0ca
parent 83259 4dabf4db7cec
child 83261 64f640cc81f1 
--- a/src/Pure/Build/build_job.scala	Wed Oct 08 10:49:18 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Wed Oct 08 11:03:18 2025 +0200
@@ -357,7 +357,8 @@
           }
 
           session.runtime_statistics += Session.Consumer("ML_statistics") {
-            case Session.Runtime_Statistics(props) => runtime_statistics += props
+            case Session.Runtime_Statistics(props) =>
+              session.synchronized { runtime_statistics += props }
           }
 
           session.finished_theories += Session.Consumer[Document.Snapshot]("finished_theories") {
isabelle