# HG changeset patch
# User wenzelm
# Date 1492001995 -7200
# Node ID 9535c670b1b417544fe365da755c6e211369c6d5
# Parent  f3cd78ba687c5c9110c1093776e8bfb811593fe1
tuned;

diff -r f3cd78ba687c -r 9535c670b1b4 src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Wed Apr 12 13:48:07 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Wed Apr 12 14:59:55 2017 +0200
@@ -76,7 +76,7 @@
     val theory =
       if (Long_Name.is_qualified(theory0) || session_base.global_theories.isDefinedAt(theory0)
         || true /* FIXME */) theory0
-      else theory0 // FIXME Long_Name.qualify(qualifier, theory0)
+      else Long_Name.qualify(qualifier, theory0)
 
     session_base.loaded_theories.get(theory) orElse
     session_base.loaded_theories.get(theory0) orElse