changeset 65405 | 68f8a0dab28b |
parent 65404 | 2b819faf45e9 |
child 65407 | 4546272431e9 |
--- a/src/Pure/Thy/thy_info.scala Thu Apr 06 14:32:56 2017 +0200 +++ b/src/Pure/Thy/thy_info.scala Thu Apr 06 14:41:56 2017 +0200 @@ -56,9 +56,7 @@ def + (thy: (Document.Node.Name, Position.T)): Dependencies = { val (name, _) = thy - new Dependencies(rev_deps, keywords, abbrevs, - seen + name, - seen_theory + (name.theory -> thy)) + new Dependencies(rev_deps, keywords, abbrevs, seen + name, seen_theory + (name.theory -> thy)) } def deps: List[Thy_Info.Dep] = rev_deps.reverse