src/Pure/PIDE/resources.scala
changeset 65503 a3fffad8f217
parent 65498 2af863e28204
child 65529 53fd6cf53ec2
     1.1 --- a/src/Pure/PIDE/resources.scala	Mon Apr 17 21:50:56 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Tue Apr 18 14:19:49 2017 +0200
     1.3 @@ -73,8 +73,8 @@
     1.4        case Some(theory) => (true, theory)
     1.5        case None =>
     1.6          val theory =
     1.7 -          if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
     1.8 -              || true /* FIXME */) theory0
     1.9 +          if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0))
    1.10 +            theory0
    1.11            else Long_Name.qualify(qualifier, theory0)
    1.12          (false, theory)
    1.13      }