src/Pure/Thy/sessions.scala

                 else info.groups.mkString(" (", " ", ")")
               progress.echo("Session " + info.chapter + "/" + info.name + groups)
             }
 
             val thy_deps =
-              resources.thy_info.dependencies(
+              resources.dependencies(
                 for { (_, thys) <- info.theories; (thy, pos) <- thys }
                 yield (resources.import_name(info.name, info.dir.implode, thy), pos))
 
             val overall_syntax = thy_deps.overall_syntax