# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1710579503 -3600
# Node ID 01652fac103987a8239df84b0a27c381340bf239
# Parent  e6f0a93e2edd7265913fa23a861ab1b64ed3c4f4
unused;

diff -r e6f0a93e2edd -r 01652fac1039 src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Fri Mar 15 20:23:50 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Sat Mar 16 09:58:23 2024 +0100
@@ -1389,7 +1389,6 @@
       val full_sessions =
         Sessions.load_structure(build_options, dirs = AFP.make_dirs(afp_root) ::: dirs,
           select_dirs = select_dirs, infos = infos, augment_options = augment_options)
-      val full_sessions_selection = full_sessions.imports_selection(selection)
 
       val build_deps =
         Sessions.deps(full_sessions.selection(selection), progress = progress,