tuned;
authorwenzelm
Wed Apr 12 14:59:55 2017 +0200 (2017-04-12)
changeset 654679535c670b1b4
parent 65464 f3cd78ba687c
child 65468 c41791ad75c3
tuned;
src/Pure/PIDE/resources.scala
     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