# HG changeset patch
# User wenzelm
# Date 1498919996 -7200
# Node ID 453f9cabddb5a13f9151de350dd53e39cb953f22
# Parent  a912f4a701bf7c31ad111a6bfa9eeb2f8f491acc
tuned;

diff -r a912f4a701bf -r 453f9cabddb5 src/Pure/Thy/sessions.scala
--- 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