# HG changeset patch
# User wenzelm
# Date 1637095421 -3600
# Node ID 3dfb8e47a6b715c06b0a7eadc86941a4267b8854
# Parent  507f50dbeb799cdaf12de61e134c9752dae6e26c
removed redundant test (see also 86fac52c2795, a9fea3f11cc0);

diff -r 507f50dbeb79 -r 3dfb8e47a6b7 src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Nov 16 21:21:15 2021 +0100
+++ b/src/Pure/Tools/build.scala	Tue Nov 16 21:43:41 2021 +0100
@@ -493,7 +493,7 @@
         (for {
           session_name <- deps.sessions_structure.imports_topological_order.iterator
           info <- results.get_info(session_name)
-          if selected(session_name) && presentation.enabled(info) && results(session_name).ok }
+          if selected(session_name) && presentation.enabled(info) }
         yield info).toList
 
       if (presentation_sessions.nonEmpty) {