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_schedule.scala
changeset 82752 20ffc02d0b0e
parent 82742 085e624a1303 
--- a/src/Pure/Build/build_schedule.scala	Tue Jun 24 21:58:20 2025 +0200
+++ b/src/Pure/Build/build_schedule.scala	Tue Jun 24 22:08:20 2025 +0200
@@ -1132,7 +1132,7 @@
           store.check_output(
             _database_server, session_name,
             sources_shasum = state.sessions(session_name).sources_shasum,
-            input_shasum = ML_Process.make_shasum(store, ancestor_results.map(_.output_shasum)),
+            input_shasum = store.make_shasum(ancestor_results.map(_.output_shasum)),
             build_thorough = build_context.sessions_structure(session_name).build_thorough,
             fresh_build = build_context.fresh_build,
             store_heap = build_context.store_heap || state.sessions.store_heap(session_name))._1
isabelle