diff -r 648fe09330f3 -r 3d8b37b1d798 src/Pure/PIDE/resources.scala --- a/src/Pure/PIDE/resources.scala Wed Aug 17 11:57:13 2022 +0200 +++ b/src/Pure/PIDE/resources.scala Wed Aug 17 14:42:20 2022 +0200 @@ -157,7 +157,7 @@ def find_theory_node(theory: String): Option[Document.Node.Name] = { val thy_file = Path.basic(Long_Name.base_name(theory)).thy - val session = session_base.theory_qualifier(theory) + val session = sessions_structure.theory_qualifier(theory) val dirs = sessions_structure.get(session) match { case Some(info) => info.dirs @@ -182,7 +182,7 @@ } def import_name(name: Document.Node.Name, s: String): Document.Node.Name = - import_name(session_base.theory_qualifier(name), name.master_dir, s) + import_name(sessions_structure.theory_qualifier(name), name.master_dir, s) def import_name(info: Sessions.Info, s: String): Document.Node.Name = import_name(info.name, info.dir.implode, s) @@ -198,7 +198,7 @@ } def complete_import_name(context_name: Document.Node.Name, s: String): List[String] = { - val context_session = session_base.theory_qualifier(context_name) + val context_session = sessions_structure.theory_qualifier(context_name) val context_dir = try { Some(context_name.master_dir_path) } catch { case ERROR(_) => None }