src/Pure/PIDE/resources.scala
changeset 65409 ad9e2c1665b6
parent 65408 c728f922f657
child 65423 4527b33d5b3e
     1.1 --- a/src/Pure/PIDE/resources.scala	Thu Apr 06 15:57:33 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Thu Apr 06 16:01:39 2017 +0200
     1.3 @@ -76,7 +76,7 @@
     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) => Document.Node.Name.theory(name.theory)
     1.8 +      case Some(name) if session_base.loaded_theory(name) => name.loaded_theory
     1.9        case Some(name) => name
    1.10        case None =>
    1.11          val path = Path.explode(s)