src/Pure/Tools/build.scala
changeset 60077 55cb9462e602
parent 59895 a68a0fec288d
child 60106 e0d1d9203275
     1.1 --- a/src/Pure/Tools/build.scala	Wed Apr 15 14:54:25 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Wed Apr 15 15:27:45 2015 +0200
     1.3 @@ -512,7 +512,8 @@
     1.4  
     1.5              val sources = all_files.map(p => (p, SHA1.digest(p.file)))
     1.6  
     1.7 -            val session_graph = thy_deps.deps_graph(info.parent getOrElse "", loaded_theories0)
     1.8 +            val session_graph =
     1.9 +              Present.session_graph(info.parent getOrElse "", loaded_theories0, thy_deps.deps)
    1.10  
    1.11              val content =
    1.12                Session_Content(loaded_theories, known_theories, keywords, syntax,