src/Pure/PIDE/resources.scala
changeset 65423 4527b33d5b3e
parent 65409 ad9e2c1665b6
child 65429 fcff401fb609
     1.1 --- a/src/Pure/PIDE/resources.scala	Fri Apr 07 13:07:43 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Fri Apr 07 13:19:11 2017 +0200
     1.3 @@ -76,8 +76,8 @@
     1.4  
     1.5      session_base.known_theories.get(theory) orElse session_base.known_theories.get(theory0) match
     1.6      {
     1.7 -      case Some(name) if session_base.loaded_theory(name) => name.loaded_theory
     1.8 -      case Some(name) => name
     1.9 +      case Some(name) =>
    1.10 +        if (session_base.loaded_theory(name)) name.loaded_theory else name
    1.11        case None =>
    1.12          val path = Path.explode(s)
    1.13          val node = append(dir, thy_path(path))