--- a/src/Pure/Thy/sessions.scala Sat Jul 01 16:26:15 2017 +0200
+++ b/src/Pure/Thy/sessions.scala Sat Jul 01 16:39:56 2017 +0200
@@ -276,7 +276,8 @@
val selected_sessions = full_sessions.selection(Selection(sessions = List(session)))._2
if (all_known) {
- val deps = Sessions.deps(full_sessions, global_theories = global_theories, all_known = true)
+ val deps =
+ Sessions.deps(full_sessions, global_theories = global_theories, all_known = all_known)
deps(session).copy(known = deps.all_known)
}
else