src/Pure/PIDE/resources.ML

--- a/src/Pure/PIDE/resources.ML	Mon Apr 17 21:50:56 2017 +0200
+++ b/src/Pure/PIDE/resources.ML	Tue Apr 18 14:19:49 2017 +0200
@@ -119,7 +119,7 @@
   | NONE =>
       let val theory =
         if Long_Name.is_qualified theory0 orelse is_some (global_theory theory0)
-          orelse true (* FIXME *) then theory0
+        then theory0
         else Long_Name.qualify qualifier theory0
       in (false, theory) end);