src/Pure/Tools/build.scala

 object Build {
   /* results */
 
   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(
     val store: Sessions.Store,
     val deps: Sessions.Deps,