src/Pure/PIDE/resources.scala

--- a/src/Pure/PIDE/resources.scala	Thu Apr 06 15:57:33 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Thu Apr 06 16:01:39 2017 +0200
@@ -76,7 +76,7 @@
 
     session_base.known_theories.get(theory) orElse session_base.known_theories.get(theory0) match
     {
-      case Some(name) if session_base.loaded_theory(name) => Document.Node.Name.theory(name.theory)
+      case Some(name) if session_base.loaded_theory(name) => name.loaded_theory
       case Some(name) => name
       case None =>
         val path = Path.explode(s)