src/Pure/Thy/sessions.scala
changeset 67018 f6aa133f9b16
parent 67012 671decd2e627
child 67023 e27e05d6f2a7
     1.1 --- a/src/Pure/Thy/sessions.scala	Tue Nov 07 10:22:10 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Tue Nov 07 11:11:37 2017 +0100
     1.3 @@ -615,8 +615,8 @@
     1.4  
     1.5      def selection(select: Selection): (List[String], T) =
     1.6      {
     1.7 +      val (_, build_graph1) = select(build_graph)
     1.8        val (selected, imports_graph1) = select(imports_graph)
     1.9 -      val build_graph1 = build_graph.restrict(imports_graph1.keys_set)
    1.10        (selected, new T(build_graph1, imports_graph1))
    1.11      }
    1.12