src/Pure/Thy/sessions.scala
changeset 67012 671decd2e627
parent 67004 af72fa58f71b
child 67018 f6aa133f9b16
     1.1 --- a/src/Pure/Thy/sessions.scala	Sun Nov 05 15:50:26 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sun Nov 05 16:57:03 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