src/Pure/PIDE/resources.scala
changeset 65476 a72ae9eb4462
parent 65472 f83081bcdd0e
child 65487 7847807b07ce
     1.1 --- a/src/Pure/PIDE/resources.scala	Wed Apr 12 23:44:33 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Thu Apr 13 12:19:28 2017 +0200
     1.3 @@ -70,7 +70,7 @@
     1.4    def theory_qualifier(name: Document.Node.Name): String =
     1.5      session_base.global_theories.getOrElse(name.theory, Long_Name.qualifier(name.theory))
     1.6  
     1.7 -  def loaded_theory_name(qualifier: String, theory0: String): (Boolean, String) =
     1.8 +  def theory_name(qualifier: String, theory0: String): (Boolean, String) =
     1.9      session_base.loaded_theories.get(theory0) match {
    1.10        case Some(theory) => (true, theory)
    1.11        case None =>
    1.12 @@ -82,7 +82,7 @@
    1.13      }
    1.14  
    1.15    def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
    1.16 -    loaded_theory_name(qualifier, Thy_Header.import_name(s)) match {
    1.17 +    theory_name(qualifier, Thy_Header.import_name(s)) match {
    1.18        case (true, theory) => Document.Node.Name.loaded_theory(theory)
    1.19        case (false, theory) =>
    1.20          session_base.known_theories.get(theory) match {