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_history.scala
changeset 78956 12abaffb0346
parent 78918 8378354bbdad
child 78985 24e686fe043e 
--- a/src/Pure/Admin/build_history.scala	Sat Nov 11 22:17:14 2023 +0100
+++ b/src/Pure/Admin/build_history.scala	Sun Nov 12 12:26:08 2023 +0100
@@ -357,7 +357,7 @@
         build_info.finished_sessions.flatMap { session_name =>
           val heap = isabelle_output + Path.explode(session_name)
           if (heap.is_file) {
-            Some("Heap " + session_name + " (" + Value.Long(File.space(heap).bytes) + " bytes)")
+            Some("Heap " + session_name + " (" + Value.Long(File.size(heap)) + " bytes)")
           }
           else None
         }
isabelle