changeset 66037 | 58d2e41afbfe |
parent 64573 | e6aee01da22d |
child 68482 | cb84beb84ca9 |
--- a/src/Pure/Tools/thm_deps.ML Thu Jun 08 12:25:59 2017 +0200 +++ b/src/Pure/Tools/thm_deps.ML Thu Jun 08 12:54:55 2017 +0200 @@ -29,7 +29,7 @@ a :: _ => (case try (Context.get_theory thy) a of SOME thy => - (case Present.session_name thy of + (case Present.theory_qualifier thy of "" => [] | session => [session]) | NONE => [])