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/Tools/build_job.scala
changeset 76991 6a078c80eab6
parent 76936 ee785742c694
child 76992 11c0747a87fc 
--- a/src/Pure/Tools/build_job.scala	Sun Jan 15 20:00:44 2023 +0100
+++ b/src/Pure/Tools/build_job.scala	Sun Jan 15 20:20:59 2023 +0100
@@ -592,7 +592,7 @@
 
     val heap_digest =
       if (result2.ok && do_store && store.output_heap(session_name).is_file)
-        Some(Sessions.write_heap_digest(store.output_heap(session_name)))
+        Some(ML_Heap.write_digest(store.output_heap(session_name)))
       else None
 
     (result2, heap_digest)
isabelle