src/Pure/PIDE/resources.scala
changeset 65467 9535c670b1b4
parent 65457 2bf0d2fcd506
child 65471 05e5bffcf1d8
     1.1 --- a/src/Pure/PIDE/resources.scala	Wed Apr 12 13:48:07 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Wed Apr 12 14:59:55 2017 +0200
     1.3 @@ -76,7 +76,7 @@
     1.4      val theory =
     1.5        if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
     1.6          || true /* FIXME */) theory0
     1.7 -      else theory0 // FIXME Long_Name.qualify(qualifier, theory0)
     1.8 +      else Long_Name.qualify(qualifier, theory0)
     1.9  
    1.10      session_base.loaded_theories.get(theory) orElse
    1.11      session_base.loaded_theories.get(theory0) orElse