src/Pure/Tools/build_process.scala

--- a/src/Pure/Tools/build_process.scala	Mon Jun 26 13:01:58 2023 +0200
+++ b/src/Pure/Tools/build_process.scala	Mon Jun 26 13:20:12 2023 +0200
@@ -906,7 +906,7 @@
     val cancelled = progress.stopped || !ancestor_results.forall(_.ok)
 
     if (!skipped && !cancelled) {
-      using_optional(store.maybe_open_heaps_database())(
+      using_optional(store.maybe_open_database_server())(
         ML_Heap.restore(_, session_name, store.output_heap(session_name),
           cache = store.cache.compress))
     }