src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Tue Apr 04 21:33:51 2017 +0200
+++ b/src/Pure/Thy/sessions.scala	Tue Apr 04 21:37:26 2017 +0200
@@ -143,7 +143,7 @@
                 sources = all_files.map(p => (p, SHA1.digest(p.file))),
                 session_graph =
                   Present.session_graph(info.parent getOrElse "",
-                    parent_base.loaded_theories, thy_deps.deps))
+                    parent_base.loaded_theory _, thy_deps.deps))
 
             deps + (name -> base)
           }