src/Pure/Thy/thm_deps.ML
changeset 24562 fc3cf01e8af1
parent 21858 05f57309170c
child 26138 dc578de1d3e9
--- a/src/Pure/Thy/thm_deps.ML	Sat Sep 08 19:58:37 2007 +0200
+++ b/src/Pure/Thy/thm_deps.ML	Sat Sep 08 19:58:38 2007 +0200
@@ -49,7 +49,7 @@
                   (x :: _) =>
                     (case ThyInfo.lookup_theory x of
                       SOME thy =>
-                        let val name = #name (Present.get_info thy)
+                        let val name = Present.session_name thy
                         in if name = "" then [] else [name] end
                     | NONE => [])
                  | _ => ["global"]);