# HG changeset patch
# User wenzelm
# Date 1529685110 -7200
# Node ID 087d32a4012911c7db56ccf862e56c4957bc610c
# Parent  cb84beb84ca962e8a2a36579e38a82e8124610a4
include target sessions as well: avoid default "Draft" qualification;

diff -r cb84beb84ca9 -r 087d32a40129 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Thu Jun 21 14:49:21 2018 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Jun 22 18:31:50 2018 +0200
@@ -459,7 +459,7 @@
 
     val selected_sessions1 =
     {
-      val sel_sessions1 = session1 :: include_sessions
+      val sel_sessions1 = session1 :: session :: include_sessions
       val select_sessions1 =
         if (session_focus) full_sessions1.imports_descendants(sel_sessions1) else sel_sessions1
       full_sessions1.selection(Selection(sessions = select_sessions1))