# HG changeset patch
# User wenzelm
# Date 1664184644 -7200
# Node ID 365f6a621fc5a69357360226100319bfc04a9c27
# Parent  8fcbce9f317cc22c443214ea1f88c4c7177e6cd3
clarified signature;

diff -r 8fcbce9f317c -r 365f6a621fc5 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Sun Sep 25 19:10:43 2022 +0000
+++ b/src/Pure/Tools/build.scala	Mon Sep 26 11:30:44 2022 +0200
@@ -138,6 +138,7 @@
 
   class Results private[Build](
     val store: Sessions.Store,
+    val deps: Sessions.Deps,
     results: Map[String, (Option[Process_Result], Sessions.Info)],
     val presentation_sessions: List[String]
   ) {
@@ -464,7 +465,7 @@
           if result.ok && browser_info.enabled(result.info)
         } yield name).toList
 
-      new Results(store, results, presentation_sessions)
+      new Results(store, build_deps, results, presentation_sessions)
     }
 
     if (export_files) {
@@ -483,7 +484,7 @@
     }
 
     if (results.presentation_sessions.nonEmpty && !progress.stopped) {
-      Browser_Info.build(browser_info, store, build_deps, results.presentation_sessions,
+      Browser_Info.build(browser_info, results.store, results.deps, results.presentation_sessions,
         progress = progress, verbose = verbose)
     }