src/Pure/PIDE/resources.scala
changeset 65441 9425e4d8bdb6
parent 65439 862bfd2b4fd4
child 65445 e9e7f5f5794c
--- a/src/Pure/PIDE/resources.scala	Sat Apr 08 12:47:34 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Sat Apr 08 20:56:41 2017 +0200
@@ -14,8 +14,8 @@
 
 
 class Resources(
-  val session_name: String,
   val session_base: Sessions.Base,
+  val default_qualifier: String = "",
   val log: Logger = No_Logger)
 {
   val thy_info = new Thy_Info(this)
@@ -72,7 +72,7 @@
     val theory0 = Thy_Header.base_name(s)
     val theory =
       if (Long_Name.is_qualified(theory0) || session_base.global_theories.contains(theory0)) theory0
-      else Long_Name.qualify(session_name, theory0)
+      else Long_Name.qualify(default_qualifier, theory0)
 
     session_base.loaded_theories.get(theory) orElse
     session_base.loaded_theories.get(theory0) orElse