tuned;
authorwenzelm
Sun Apr 23 18:12:42 2017 +0200 (2017-04-23)
changeset 65560327842649e8d
parent 65559 7ff7781913a4
child 65561 741b1d3930c0
tuned;
src/Pure/Thy/sessions.scala
     1.1 --- a/src/Pure/Thy/sessions.scala	Sun Apr 23 17:23:38 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sun Apr 23 18:12:42 2017 +0200
     1.3 @@ -274,8 +274,7 @@
     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(
     1.8 -        full_sessions, global_theories = global_theories, all_known = all_known)
     1.9 +      val deps = Sessions.deps(full_sessions, global_theories = global_theories, all_known = true)
    1.10        deps(session).copy(known = deps.all_known)
    1.11      }
    1.12      else