src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Mon Apr 17 21:50:56 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Tue Apr 18 14:19:49 2017 +0200
@@ -73,8 +73,8 @@
       case Some(theory) => (true, theory)
       case None =>
         val theory =
-          if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
-              || true /* FIXME */) theory0
+          if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0))
+            theory0
           else Long_Name.qualify(qualifier, theory0)
         (false, theory)
     }