diff -r 4a042bf9488e -r 2b819faf45e9 src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Thu Apr 06 14:08:42 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Thu Apr 06 14:32:56 2017 +0200
@@ -140,8 +140,7 @@
                 keywords = keywords,
                 syntax = syntax,
                 sources = all_files.map(p => (p, SHA1.digest(p.file))),
-                session_graph =
-                  Present.session_graph(info.parent getOrElse "", parent_base, thy_deps.deps))
+                session_graph = thy_deps.session_graph(info.parent getOrElse "", parent_base))
 
             deps + (name -> base)
           }