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/Admin/build_status.scala
changeset 65857 5d29d93766ef
parent 65854 db070951dfee
child 65859 95ddb6dea0d5 
--- a/src/Pure/Admin/build_status.scala	Wed May 17 21:08:11 2017 +0200
+++ b/src/Pure/Admin/build_status.scala	Wed May 17 21:24:16 2017 +0200
@@ -169,7 +169,7 @@
             val ml_stats =
               ML_Statistics(
                 if (ml_statistics)
-                    store.uncompress_properties(res.bytes(Build_Log.Data.ml_statistics))
+                  Properties.uncompress(res.bytes(Build_Log.Data.ml_statistics))
                 else Nil, heading = session_name + " (Isabelle/ " + isabelle_version + ")")
 
             val entry =
isabelle