src/Pure/Thy/sessions.scala
changeset 66959 015d47486fc8
parent 66957 82d13ba817b2
child 66960 d62f1f03868a
     1.1 --- a/src/Pure/Thy/sessions.scala	Tue Oct 31 15:36:50 2017 +0100
     1.2 +++ b/src/Pure/Thy/sessions.scala	Tue Oct 31 15:55:50 2017 +0100
     1.3 @@ -222,7 +222,7 @@
     1.4              }
     1.5  
     1.6              val thy_deps =
     1.7 -              resources.thy_info.dependencies(
     1.8 +              resources.dependencies(
     1.9                  for { (_, thys) <- info.theories; (thy, pos) <- thys }
    1.10                  yield (resources.import_name(info.name, info.dir.implode, thy), pos))
    1.11