# HG changeset patch
# User wenzelm
# Date 1491563951 -7200
# Node ID 4527b33d5b3e748ecea29ec4253646ba28ffd87f
# Parent  b606c98e6d109a9fe18e0c3b0ffe7d2e44243426
tuned;

diff -r b606c98e6d10 -r 4527b33d5b3e src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Fri Apr 07 13:07:43 2017 +0200
+++ b/src/Pure/PIDE/resources.scala	Fri Apr 07 13:19:11 2017 +0200
@@ -76,8 +76,8 @@
 
     session_base.known_theories.get(theory) orElse session_base.known_theories.get(theory0) match
     {
-      case Some(name) if session_base.loaded_theory(name) => name.loaded_theory
-      case Some(name) => name
+      case Some(name) =>
+        if (session_base.loaded_theory(name)) name.loaded_theory else name
       case None =>
         val path = Path.explode(s)
         val node = append(dir, thy_path(path))