src/Pure/PIDE/resources.scala
changeset 65452 9e9750a7932c
parent 65445 e9e7f5f5794c
child 65457 2bf0d2fcd506
     1.1 --- a/src/Pure/PIDE/resources.scala	Sun Apr 09 21:06:19 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Mon Apr 10 11:29:47 2017 +0200
     1.3 @@ -72,7 +72,7 @@
     1.4  
     1.5    def import_name(qualifier: String, dir: String, s: String): Document.Node.Name =
     1.6    {
     1.7 -    val theory0 = Thy_Header.base_name(s)
     1.8 +    val theory0 = Thy_Header.import_name(s)
     1.9      val theory =
    1.10        if (Long_Name.is_qualified(theory0) || session_base.global_theories.contains(theory0)
    1.11          || true /* FIXME */) theory0