changeset 65404 | 2b819faf45e9 |
parent 65392 | f365f61f2081 |
child 65406 | cc9e2f1f279d |
--- 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) }