Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Thy/sessions.scala
changeset 66959 015d47486fc8
parent 66957 82d13ba817b2
child 66960 d62f1f03868a 
--- a/src/Pure/Thy/sessions.scala	Tue Oct 31 15:36:50 2017 +0100
+++ b/src/Pure/Thy/sessions.scala	Tue Oct 31 15:55:50 2017 +0100
@@ -222,7 +222,7 @@
             }
 
             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))
isabelle