src/Pure/Tools/build.scala

--- a/src/Pure/Tools/build.scala	Wed Mar 01 16:01:01 2023 +0100
+++ b/src/Pure/Tools/build.scala	Wed Mar 01 19:13:19 2023 +0100
@@ -13,7 +13,7 @@
 
   object Results {
     def apply(context: Build_Process.Context, results: Map[String, Process_Result]): Results =
-      new Results(context.store, context.deps, results)
+      new Results(context.store, context.build_deps, results)
   }
 
   class Results private(