tuned;
authorwenzelm
Sat Jul 01 16:39:56 2017 +0200 (23 months ago)
changeset 66243453f9cabddb5
parent 66242 a912f4a701bf
child 66244 4c999b5d78e2
child 66245 da3b0e848182
tuned;
src/Pure/Thy/sessions.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Sat Jul 01 16:26:15 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sat Jul 01 16:39:56 2017 +0200
     1.3 @@ -276,7 +276,8 @@
     1.4      val selected_sessions = full_sessions.selection(Selection(sessions = List(session)))._2
     1.5  
     1.6      if (all_known) {
     1.7 -      val deps = Sessions.deps(full_sessions, global_theories = global_theories, all_known = true)
     1.8 +      val deps =
     1.9 +        Sessions.deps(full_sessions, global_theories = global_theories, all_known = all_known)
    1.10        deps(session).copy(known = deps.all_known)
    1.11      }
    1.12      else